// 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.getFullYear();
        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);
		}
		
        function DatumWijzigingEn(){
		var a;
		var tekst;
        a=new Date(document.lastModified);
 				lm_year=a.getFullYear();
        lm_month=a.getMonth();
        lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
        monthName = new Array(12)
        monthName[0] = 'January'
        monthName[1] = 'February'
        monthName[2] = 'March'
        monthName[3] = 'April'
        monthName[4] = 'May'
        monthName[5] = 'June'
        monthName[6] = 'July'
        monthName[7] = 'August'
        monthName[8] = 'September'
        monthName[9] = 'October'
        monthName[10] = 'November'
        monthName[11] = 'December'
        tekst = "Last modified on " + lm_day+'&nbsp;'+monthName[parseInt(lm_month)]+' '+lm_year;
		document.write(tekst);
		}