<!--
	// last modified script by Bernhard Friedrich; should work in all browsers
	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] = '1'
	monthName[1] = '2'
	monthName[2] = '3'
	monthName[3] = '4'
	monthName[4] = '5'
	monthName[5] = '6'
	monthName[6] = '7'
	monthName[7] = '8'
	monthName[8] = '9'
	monthName[9] = '10'
	monthName[10] = '11'
	monthName[11] = '12'
	document.write("Last Update:  " + lm_day+' - '+monthName[lm_month-1]+' - '+lm_year);
// -->