var docdate = new Date(document.lastModified);
var day = docdate.getDate();
var month = docdate.getMonth()+1;
var min = docdate.getMinutes();
min = (min<10) ? ":0"+min : ":"+min;
document.write("<br clear='All'><hr><i><small>Laatste aanpassing: "+ day + "-"+ month + "-"+ docdate.getFullYear()+ " "+ docdate.getHours()+ min+"&nbsp;&nbsp;");