// written by Chris Oakman for AFROTC Detachment 550
// please send all questions to oakmac@rpi.edu
// 
// this script displays the last time the file which calls it was modified
// this eliminates the need to update the HTML of a file every time it gets modified

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 lmonth = months[dateObj.getMonth() + 1];
var date = dateObj.getDate();
var fyear = dateObj.getYear();
if (fyear < 2000) fyear = 1900 + fyear;	    // for the Netscape/Mozilla different date format
document.write(date + " " + lmonth + " " + fyear);