function lastmod(date){
    var mydate= new Date(Date.parse(document.lastModified));
    var year=mydate.getYear()+1900;
    var daym=mydate.getDate();
    var month=mydate.getMonth();
    if (daym<10)
	daym="0"+daym;
    var montharray=new Array('Januari','Februari','Maart','April','Mei','Juni','Juli','Augustus', 'September','Oktober','November','December');
    //return ("(gewijzigd: "+daym+" "+montharray[month]+" "+year+")")
    return mydate;
}