<!--
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)
}

//-->