*\n";
$R=mysql_query("SELECT DISTINCT company from company order by company",$sock);
$T=mysql_fetch_array($R);
while (is_array($T)) {
if (trim($T[company])!="")
$toout.= "\n";
$T=mysql_fetch_array($R);
}
$R=mysql_query("SELECT DISTINCT industry from company order by industry",$sock);
$T=mysql_fetch_array($R);
while (is_array($T)) {
if (trim($T[industry])!="")
$toout2.= "\n";
$T=mysql_fetch_array($R);
}
mysql_close($sock);
$page = join('',file("./include/search.page"));
$page=subst_pattern($page,array('arrcompany'=>$toout,'arrindustry'=>$toout2));
print $page;
?>