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>');
}