// this script calculates the date that the document was last modified

// calculates name of month
function getMonthName(month) {
// create array to hold name of each month
	var ar = new Array(12)
	ar[0] = "January"
	ar[1] = "February"
	ar[2] = "March"
	ar[3] = "April"
	ar[4] = "May"
	ar[5] = "June"
	ar[6] = "July"
	ar[7] = "August"
	ar[8] = "September"
	ar[9] = "October"
	ar[10] = "November"
	ar[11] = "December"
// return name of specified month (parameter)
	return ar[month]
}
// finds when document was last modified
	update= new Date(document.lastModified)
	theDate=update.getDate()
	theMonth=update.getMonth()
	theYear=update.getYear()
	
// also finds the time	
	theHour=update.getHours()
	theMin=update.getMinutes()
	
	
var browser_type=navigator.appName
var browser_version=parseInt(navigator.appVersion)

if (browser_type=="Netscape"&&browser_version>4){
		if (theYear < 1000)
		theYear+=1900 }
	else { 
		if (theYear < 1000)
		theYear+=2000
	}

	var month = theMonth
	var monthName = getMonthName(month)
	var year = theYear	
	
// also finds the time


var hours = theHour
var minute = theMin

var dn = "AM";
if (hours >= 12) {
dn = "PM";
hours = hours - 12;
}
if (hours == 0) {
hours = 12;
}
if (minute <= 9) {
minute = "0" + minute;
}