<!-- // HIDE FROM OLD BROWSERS
// Copyright (c) 2003 Promanent B.V. The Netherlands

// Some page variables

var mydate = new Date();
var datumvandaag = mydate;

// THIS IS THE SCRIPT THAT CONTROLS THE DATE ON THE TOP RIGHT CORNER

function addDate () {

     myday = mydate.getDay();
     mymonth = mydate.getMonth();
     myweekday= mydate.getDate();
     weekday= myweekday;
     myyear= mydate.getYear();
     year = myyear
  
     if(mymonth == 0) month = "januari "
     else if(mymonth ==1) month = "februari "
     else if(mymonth ==2) month = "maart "
     else if(mymonth ==3) month = "april "
     else if(mymonth ==4) month = "mei "
     else if(mymonth ==5) month = "juni "
     else if(mymonth ==6) month = "juli "
     else if(mymonth ==7) month = "augustus "
     else if(mymonth ==8) month = "september "
     else if(mymonth ==9) month = "oktober "
     else if(mymonth ==10) month = "november "
     else if(mymonth ==11) month = "december"

     if(year ==99) datumvandaag=myweekday+" "+month+" 19" + year
     else datumvandaag=myweekday+" "+month+" " + year;

     document.write("<font class='Tabel' color='#C0C0C0'><b>");
     document.write(datumvandaag + "</b></font>");

 } // end function addDate

function DisplayPage(menu) {
        var mySelect = menu.name;
        var myIndex = document.forms[0].elements[mySelect].selectedIndex;
        var myUrl = document.forms[0].elements[mySelect].options[myIndex].value;
        if (myUrl) {
                location = myUrl;
        }
} // end function DisplayPage

// END HIDING -->
