Form multiple select, generato da un array

[petrucci]

<form name="pippo"> 
<select name="pluto" multiple onChange"funzionaJavascript()">
<?
while ($row = mysql_fetch_array($result)){ 
echo "<option value=\"$row[campo]\">$row[campo]</option>"; 
}
?>
</select> 
</form>