Codice PHP:
        while($records mysql_fetch_array($result))
        {
            echo(
"<option value=".$records[prod_idprodotto].";1>".$records[prod_descrizione]." ".$records[prod_idprodotto]."</option>\n\t\t"); 
        }