while($row = mysqli_fetch_array($result))  {$output .= '<li>'.$row["documento"].'</li>';}

while($row = mysqli_fetch_array($result))  {$output .= '<option>'.$row["documento"].'</option>';}