// 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>Laatse 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