/* JavaScript to load the last date modified */

  <!---
  update= new Date(document.lastModified);
  document.writeln("<font size=1>Last Updated: " + update.toLocaleString() + "</font>");
  //-->