while ($row=mysql_fetch_array($result)){$obra=$row["obra"];echo '<option value="'.$obra.'">'.$obra.'</option>';}