function MakeArray(n){
	this.length=n
	return this
}
monthNames=new MakeArray(12)
monthNames[0]="January"
monthNames[1]="February"
monthNames[2]="March"
monthNames[3]="April"
monthNames[4]="May"
monthNames[5]="June"
monthNames[6]="July"
monthNames[7]="August"
monthNames[8]="September"
monthNames[9]="October"
monthNames[10]="November"
monthNames[11]="December"

dayNames=new MakeArray(7)
dayNames[0]="Sun"
dayNames[1]="Mon"
dayNames[2]="Tue"
dayNames[3]="Wed"
dayNames[4]="Thu"
dayNames[5]="Fri"
dayNames[6]="Sat"


function date_lastmodified()
{
	UpDate       = new Date(document.lastModified);
	var aDay     = dayNames[UpDate.getDay()];
	var aMonth   = monthNames[UpDate.getMonth()];
	var nDay     = UpDate.getDate();
	var y        = UpDate.getYear();
	var aYear    = (y<1000?2000+y:y);         
	return "("+aDay+") "+aMonth+" "+nDay+", "+aYear
}