|
|
if (isset($_GET["highlight"]) AND isset($_GET["st"]))
{
$highlight=$_GET["highlight"];
$st=$_GET["st"];
$extrahighlight='&highlight='.$highlight.'&st='.$st;
}
else
{
$extrahighlight='';
}
if (isset($_GET["actie"]))
{
$actie=$_GET["actie"];
}
else
{
$actie="menukeuze1";
}
?>
|