<!--
var dateModified = document.lastModified;
mydate = dateModified.slice(0,10);
document.write("<b>Last updated: " + mydate + "</b>");
//-->