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

}