// 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);