  <!-- hide JS code from JavaScript incapable browsers
  lastModDate  = new Date(document.lastModified)
  lastModMonth = lastModDate.getMonth() + 1
  lastModDay   = lastModDate.getDate()
  lastModYear  = lastModDate.getYear()
  document.write("<I><SMALL>Last updated: " + lastModMonth
    + "/" + lastModDay + "/" + lastModYear + "</SMALL></I>")
  // end JS hide -->
