Ich habe es gerade selber gelöst!
...
printf("<select name="stage2" size="1">\n");
$querystring=("select count(*) as Anzahl from ".MYSQL_osversion." where operatingsystemid="1"");
$c1 = mysql_query($querystring);
$c2 = mysql_fetch_array($c1);
$c = $c2["Anzahl"];
// select count(*) fromm os_version where operartingsystemid="1"
//--> count(*)
//--> 10
for($l=0; $l<$c; ++$l)
{
printf("<option value="".$os_versions[1][$l]."">".$os_versions[1][$l]."</option>\n");
}
...