// last modified script by Bernhard Friedrich; should work in all browsers
        function DatumWijziging(){
		var a;
		var tekst;
        a=new Date(document.lastModified);
 		lm_year=a.getYear();
 		//mijn aanpassing om millenniumprobleem te vermijden
		lm_year=((lm_year<100)?((lm_year<70)?((lm_year<10)?'200':'20'):'19'):'')+lm_year;
        lm_month=a.getMonth();
        lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
        monthName = new Array(12)
        monthName[0] = 'januari'
        monthName[1] = 'februari'
        monthName[2] = 'maart'
        monthName[3] = 'april'
        monthName[4] = 'mei'
        monthName[5] = 'juni'
        monthName[6] = 'juli'
        monthName[7] = 'augustus'
        monthName[8] = 'september'
        monthName[9] = 'oktober'
        monthName[10] = 'november'
        monthName[11] = 'december'
        tekst = "Laatste wijziging op " + lm_day+'&nbsp;'+monthName[parseInt(lm_month)]+' '+lm_year;
		document.write(tekst);
		}