<!-- hide from older browsers
var mn = new Array(12);
mn[0] = "January";
mn[1] = "February";
mn[2] = "March";
mn[3] = "April";
mn[4] = "May";
mn[5] = "June";
mn[6] = "July";
mn[7] = "August";
mn[8] = "September";
mn[9] = "October";
mn[10] = "November";
mn[11] = "December";
var dateObj = new Date(document.lastModified);
var mname = mn[dateObj.getMonth()];
var date = dateObj.getDate();
var yr = dateObj.getYear()
yr += (yr <= 1900) ? 1900 : 0;
document.write("<i>Last updated:" + "&nbsp;&nbsp;" + 
mname + " " + date + ", " + yr + "</i><p>");
// end hiding -->
