// File    : last_mod.js
// Purpose : Show last modification date op page.
//
// 1.00 2008.06.06 KDH New script.

var mnths  = "janfebmaraprmeijunjulaugsepoktnovdec";
var update = new Date(document.lastModified);

dd         = update.getDate();
mm         = update.getMonth() * 3;
ma         = mnths.substring(mm, mm + 3);
yy         = update.getYear();
yy        += (yy < 200) ? 1900 : 0;
var Spaces = '&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;';

document.write(Spaces + "<font size=\"1\">Laatste wijziging op deze pagina:<i>" + dd + " " + ma + " " + yy + "</font></i><br />");

// EOF EOF EOF EOF EOF EOF EOF EOF EOF EOF EOF EOF EOF EOF EOF