var a;
	a=new Date(document.lastModified);
	lm_year=a.getYear();
	if (lm_year<1000){ 				//just in case date is delivered with 4 digits
		if (lm_year<70){
		lm_year=2000+lm_year;
		}
		else lm_year=1900+lm_year;
	}								//end workaround
	lm_month=a.getMonth()+1;
	if (lm_month<10){
		lm_month='0'+lm_month;
	}
	lm_day=a.getDate();
	if (lm_day<10){
		lm_day='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'
	document.write("<b><font size=-2>bijgewerkt op </b>" + lm_day+'&nbsp;'+monthName[lm_month-1]+'&nbsp;'+lm_year);
// -->