";
for ($i=0; $i < $aantalrijen; $i++)
{
$rij = mysql_fetch_row($result);
if (!$submenuid) { $submenuid=$rij[0]; }
if ($rij[0]==$submenuid)
{
echo " $rij[1]";
if ($hsid)
{
echo "";
}
}
else
{
echo "$rij[1]";
}
}
echo " |
 |
","titel","tekst","hscontentlink","downloadlink", "Geen informatie gevonden","style=\"border: 2 solid #FFFFFF\"",4);
?>