function writeFooter() {
var months = new Array(12);
months[0] = "January";
months[1] = "February";
months[2] = "March";
months[3] = "April";
months[4] = "May";
months[5] = "June";
months[6] = "July";
months[7] = "August";
months[8] = "September";
months[9] = "October";
months[10] = "November";
months[11] = "December";
lastmod = document.lastModified // get string of last modified date
lastmoddate = Date.parse(lastmod) // convert modified string to date
if (lastmoddate == 0) {
lastmod="Unknown" // unknown date (or January 1, 1970 GMT)
} else {
lastmoddate= new Date(lastmod) // convert modified string to date
var lastmodmonth=lastmoddate.getMonth();
lastmod=lastmoddate.getDate() + " "+ months[lastmodmonth] + ", " + lastmoddate.getFullYear();
}
document.write("
");
}