// Last modified date
// (formats the date in the page footer -jga)

function Modified() {
  var lastUpdate = new Date(document.lastModified);
  var monthArray = new     Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
  var themonth = monthArray[lastUpdate.getMonth()];
  var theday = lastUpdate.getDate();
  var theyear = lastUpdate.getYear();
  document.write(theyear +' '+ themonth +' '+ theday);
}

// Navigation menu styles
// (locates the current page indicator in the menu -jga)

function setClass(menuItem) {
  if (menuItem == top.pageName) { return "navc"; } else { return "nav"; }
}

function setSubClass(menuItem) {
  if (menuItem == top.pageName) {return "navsubc"; } else { return "navsub"; }
}