PHP - RE:¿Como rellenar un Select desde una consulta SQL

Genera el codigo HTML correspondiente a un SELECT, que serian los list o combo boxes para HTML. Seria algo como:

<select name="lista" size="5">
<?
$conexion = odbc_connect("base","","","");
$rs= odbc_exec($conexion,"select * from sabores");
$sql="select * from sabores where tipo='chocolate'";
$rs=odbc_exec($conexion,$sql);
while (odbc_fetch_row($rs))
{
$a=odbc_result($rs,"tipos");
echo "<option value='$a'>$a</option>\n";
}
odbc_close_all();
?>
</select>