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