<!--
var dagen = new
Array("Zondag","Maandag","Dinsdag","Woensdag",
"Doderdag","Vrijdag","Zaterdag");
var maanden = new
Array("Januari","Februari","Maart","April",
"Mei","Juni","Juli","Augustus",
"September","Oktber","Novber","December");
var lm = new Date(document.lastModified);
var datum = lm.getDate();
var dag = dagen[ lm.getDay()];
var maand = maanden[lm.getMonth()];
document.write('<B>' + ""+ " " +dag + " "
+ datum + " " + maand + " " + lm.getYear() + '</B>'); 
// end hide-->

