"; } else { while(list($id, $name) = mysql_fetch_array($result)) { ?>