document.write("<ADDRESS>");

var dateModified = document.lastModified;
newdate = dateModified.slice(0,16);
document.write("<b>Last modified: " + newdate + "</b>");

document.write("<BR><span class=darkoverlight>Send questions or comments to:");
	
document.write("<a href=" + "mail" + "to:" + "instrument" + "@" + "keck." + "hawaii" +".edu >" +  "Instrument Master" + " </font> </a>")

document.write("</span></ADDRESS>");