// last_modified.js

// also include: browserInfo.js

function last_modified(textColor, postHTML) {
	if (textColor == "") textColor = "slategray"
	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] = "January";
		months[2] = "February";
		months[3] = "March";
		months[4] = "April";
		months[5] = "May";
		months[6] = "June";
		months[7] = "July";
		months[8] = "August";
		months[9] = "September";
		months[10] = "October";
		months[11] = "November";
		months[12] = "December";
	var dateObj = new Date(document.lastModified)
 //if (PLATFORM == "Mac" && NETSCAPE) dateObj = new Date(dateObj.getTime() + 2212122670871)
 var wdayNum = dateObj.getDay() + 1
 if (NETSCAPE && VERSION < 4.6 && PLATFORM != "Mac") wdayNum = (wdayNum+4)%7+1
 var wday = days[wdayNum]
	var lmonth = months[dateObj.getMonth() + 1]
	var date = dateObj.getDate()
	var fyear = dateObj.getYear()
	if (NETSCAPE) {
		if (VERSION < 4.6) fyear = fyear + 2000
		else fyear = fyear + 1900
	}
	document.write("<font size=2 color=" + textColor + "><i>Last Modified:</i> " + 
					wday + ", " + lmonth + " " + date + ", " + fyear + "</font>" + postHTML)
}