/* This will look at the file and automatically print the date it was last updated. */
a=new Date(document.lastModified)
theUTC = a.toUTCString()

/*
if day is a double digit, use the first line, if day is a single digit, use the else line
year ####, month XXX, day # or ##, day of week XXX, time ##:##:##
*/

if (theUTC.substr(7,1)==" "){
b = theUTC.substr(12,5)+theUTC.substr(8,4)+" "+theUTC.substr(5,3)+" ("+theUTC.substr(0,3)+") "+theUTC.substr(17,12)
}
else {
b = theUTC.substr(11,5)+theUTC.substr(7,4)+" 0"+theUTC.substr(5,2)+"("+theUTC.substr(0,3)+") "+theUTC.substr(17,12)
}

document.open()
document.write("<font FACE='Comic Sans MS' SIZE=4 color=black> <img src='updated.gif' HEIGHT=35 WIDTH=48 align=middle><b> on " + b + "<font size=6 color=black>")
document.close()