<!--
	// 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;
	}
	lm_hour=a.getHours();
	if (lm_hour<10){
		lm_hour='0'+lm_hour;
	}
	lm_minute=a.getMinutes();
	if (lm_minute<10){
		lm_minute='0'+lm_minute;
	}
	lm_second=a.getSeconds();
		if (lm_second<10){
		lm_second='0'+lm_second;
	}
	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'
	document.write("This Page Last Modified " + monthName[lm_month-1]+'&nbsp;'+lm_day+'&nbsp;'+lm_year+' '+((lm_hour>12)?lm_hour-12:lm_hour)+':'+lm_minute+':'+lm_second+' '+((lm_hour>=12)?'P.M.':'A.M.'));
// -->