<!--

function y2k(number) {

  return (number < 1000) ? number + 1900 : number;

}


function PrintDate() {

var now = new Date();

var days = new Array('Zondag','Maandag','Dinsdag','Woensdag','Donderdag','Vrijdag','Zaterdag');

var months = new Array('Januari','Februari','Maart','April','Mei','Juni','Juli','Augustus','September',

		'Oktober','November','December');

var date = ((now.getDate()<10) ? "0" : "")+ now.getDate();


  mod =  "&nbsp;&nbsp;" + days[now.getDay()] + " " + date + " ";

  mod +=  months[now.getMonth()] + " " + (y2k(now.getYear()));


  document.write(mod)

}


//-->