// JavaScript Document
// This code will display the last update like this (for example)
// "Updated: Friday, Apr. 14, 2006"

function PageLastUpdated(){
	var days = new Array(8);
	days[1] = "Sunday";
	days[2] = "Monday";
	days[3] = "Tuesday";
	days[4] = "Wednesday";
	days[5] = "Thursday";
	days[6] = "Friday";
	days[7] = "Saturday";
	var months = new Array(13);
	months[1] = "Jan.";
	months[2] = "Feb.";
	months[3] = "Mar.";
	months[4] = "Apr.";
	months[5] = "May";
	months[6] = "Jun.";
	months[7] = "Jul.";
	months[8] = "Aug.";
	months[9] = "Sep.";
	months[10] = "Oct.";
	months[11] = "Nov.";
	months[12] = "Dec.";
	var dateObj = new Date(document.lastModified)
	var wday = days[dateObj.getDay() + 1]
	var lmonth = months[dateObj.getMonth() + 1]
	var date = dateObj.getDate()
	var fyear = dateObj.getYear()
	if (fyear < 2000) 
	fyear = fyear + 1900
	document.write("Updated: " + wday + ", " + lmonth + " " + date + ", " + fyear)
}