document.writeln("<font size=-1>");
document.writeln("Contact the <a href='mailto:irpoc@usna.edu?subject=Webmaster Issue'>IR Webmaster</a><br>");
document.writeln("URL: " + document.URL + " <br>");
var mod_string=document.lastModified;
var mod_len=mod_string.length;
var short_mod_string = mod_string.substring(0, (mod_len-9));
document.writeln("Date last modified: " + short_mod_string);


document.writeln("</font>");