1:

	$porto = mysql_query("SELECT * FROM portoklasse");

1: 
2: 
3: 
4: 
5: 
6: 
7: 
8:

<select name="Porto" class="Auswahl">
      <?  while(list($id, $porto, $text) = mysql_fetch_row($porto)){ 
		if($id == "$lan_porto"){echo"<option value='$id' name='$text' selected > $text $porto </option>";}
		else{echo"<option value='$id' name='$text' >$text $porto</option>";}
	  }		
	?>
     </select>

1: 
2: 
3: 
4: 
5: 
6: 
7:

<select name="Porto" class="Auswahl">
      <?  while($row = mysql_fetch_array($porto)) { 
		if($row['id'] == $lan_porto){echo"<option value=".$row['id']." name=".$row['text']." selected > ".$text." ".$porto."</option>";}
		else{echo"<option value=".$row['id']." name=".$row['text'].">".$row['text']." ".$row['porto']."</option>";}
	  }		
	?>
     </select>