now = new Date();
function print_date() {
var day = now.getDay();
var dayname;
if (day==0)dayname="Maandag";
if (day==1)dayname="Dinsdag";
if (day==2)dayname="Woensdag";
if (day==3)dayname="Donderdag";
if (day==4)dayname="Vrijdag";
if (day==5)dayname="Zaterdag";
if (day==6)dayname="Zondag";
var monthNames = new Array("Januari", "Februari", "Maart", "April", "Mei", "Juni", "Juli", "Augustus", "September", "October", "November", "December");
var month = now.getMonth();
var monthName = monthNames[month];
var year = now.getYear();
if ( year < 1000 ) year += 1900;
var datestring = now.getDate() + ' ' + monthName + ', ' + year;
document.write('<NOBR> ' + datestring + '</NOBR>');
}