<!--
  // gets the "document last updated" string
  function lastupd()
  {
  lastModDate = new Date(document.lastModified);
  lastModMonth = lastModDate.getMonth() + 1;
  lastModDay = lastModDate.getDate();
  lastModYear = lastModDate.getFullYear();
  document.write("This Page Last Updated: " + lastModMonth + "/" + lastModDay + "/" + lastModYear + ".");
  }
//-->