<!--
//Gets document last modified date and time (current web page)
//Prints Day, Month Day, Year at Time
// REMEMBER Arrays must be on one line
//Array numbering starts at zero

var stampdays = new Array( "Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var stampmonths = new Array( "Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");

var thedate = new Date(document.lastModified);
var thehour = thedate.getHours();
var theminutes = thedate.getMinutes();
var theseconds = thedate.getSeconds();

//format time for two places - military time
if (thehour < 10){
	var thehour = "0" + thehour;}
if (theminutes < 10){
	var theminutes = "0" + theminutes;}
if (theseconds < 10){
	var theseconds = "0" + theseconds;}

//write results.
document.write("Last Modified: " + stampdays[ thedate.getDay()] + ", " + thedate.getDate() + "-" + stampmonths[ thedate.getMonth()] + "-"  +   thedate.getFullYear());
document.write( " at " + thehour + ":" + theminutes + ":" + theseconds + " EST");
// -->