function lastUpdated()
 window.onload = lastupdate.js;
 {
  if (!document.getElementById("lastupdate")) return false;
   var obj = document.getElementById("lastupdate");
   var monthtext = new Array("January","February","March","April","May","June",
     "July","August","September","October","November","December");
   var modified = new Date(document.lastModified);
   var month = modified.getMonth();
   var day = modified.getDate();
   var year = modified.getFullYear();
   var lastupdate = "Last update: " + monthtext[month] + " " + day + ", " + year;
   var txt = document.createTextNode(lastupdate);
   obj.appendChild(txt);
   return true;
 }