var days=new Array("Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday");
var months=new Array("January","February","March","April","May","June","July","August","September","October","November","December");
	
function writeLastUpdate()
{
	var updated=new Date(document.lastModified);
	var uDay=days[updated.getDay()-1];
	var uDate=updated.getDate();
	if(uDate<10)uDate="0"+uDate;
	var uMonth=months[updated.getMonth()];
	var uYear=updated.getYear();
	uYear+=uYear<2000?1900:0;
	var uTime=(updated.getHours()==0?"00":"") + updated.getHours() + ":" + (updated.getMinutes()<10?"0":"") + updated.getMinutes();
	document.write("Page last updated "+uDay+" "+uDate+" "+uMonth+" "+uYear+" "+uTime+".");
}