<!--
	// last modified script by Bernhard Friedrich; should work in all browsers
	var a;
	a=new Date(document.lastModified);
	lm_year=a.getYear();lm_year=((lm_year<1000)?((lm_year<70)?2000:1900):0)+lm_year;
	lm_month=a.getMonth()+1;lm_month=((lm_month<10)?'0':'')+lm_month;
	lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
	lm_hour=a.getHours();lm_hour=((lm_hour<10)?'0':'')+lm_hour;
	lm_minute=a.getMinutes();lm_minute=((lm_minute<10)?'0':'')+lm_minute;
	lm_second=a.getSeconds();lm_second=((lm_second<10)?'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]+' '+lm_day+', '+lm_year+' at  '+((lm_hour>12)?lm_hour-12:lm_hour)+':'+lm_minute+':'+lm_second+' '+((lm_hour>=12)?'P.M.':'A.M.'));
// -->