function WriteDate(writeday)
{
 var mydate=new Date();
 var year=mydate.getYear();
 var day=mydate.getDay();
 var month=mydate.getMonth();
 var daym=mydate.getDate();
 if (year < 1000)
 year=year+1900;
 if (daym < 10) daym="0"+daym;
 var dayarray=new Array('Zondag','Maandag','Dinsdag','Woensdag','Donderdag','Vrijdag','Zaterdag');
 var montharray=new Array('Januari','Februari','Maart','April','Mei','Juni','Juli','Augustus','September','Oktober','November','December');
 if (writeday)
 document.write(dayarray[day]+", ");
 document.write(daym+" "+montharray[month]+" "+year);
}