var dt = new Date(document.lastModified);
var mnd = new
Array("januari","februari","maart","april","mei","juni","juli","augustus","september","october","november","december");
document.write("<small><font color=red>laatst gewijzigd: " + dt.getDate() + "  "
+ mnd[dt.getMonth()] + " " + dt.getFullYear()+"</font></small>");