var monthNames=new Array("January","February","March","April","May","June","July","August","September","October","November","December");
var dayNames= new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat","Sun");

function date_lastmodified()
{
	UpDate       = new Date(document.lastModified);
	var aDay     = dayNames[UpDate.getDay()];
	var aMonth   = monthNames[UpDate.getMonth()];
	var nDay     = UpDate.getDate();
	var aYear    = UpDate.getFullYear();
	//Y2K bug fix
	if (aYear < 1000){
		aYear+=1900;
	}
	if(aYear < 1950){
		aYear+=100;
	}         
	return "("+aDay+") "+aMonth+" "+nDay+", "+aYear
}