<!-- hide JS code
  
  //  last date this document updated
  lastModDate  = new Date(document.lastModified)
  lastModMonth = lastModDate.getMonth()
  lastModDay   = lastModDate.getDate()
  lastModYear  = lastModDate.getYear()

  var lastMonthStr = ""
  if (lastModMonth == 0)
     lastMonthStr = "January "
  else if (lastModMonth == 1)
     lastMonthStr = "February "
  else if (lastModMonth == 2)
     lastMonthStr = "March "
  else if (lastModMonth == 3)
     lastMonthStr = "April "
  else if (lastModMonth == 4)
     lastMonthStr = "May "
  else if (lastModMonth == 5)
     lastMonthStr = "June "
  else if (lastModMonth == 6)
     lastMonthStr = "July "
  else if (lastModMonth == 7)
     lastMonthStr = "August "
  else if (lastModMonth == 8)
     lastMonthStr = "September "
  else if (lastModMonth == 9)
     lastMonthStr = "October "
  else if (lastModMonth == 10)
     lastMonthStr = "November "
  else if (lastModMonth == 11)
     lastMonthStr = "December "
  
   if (navigator.appName.substring(0,8)  ==  "Netscape")
    {
      if (lastModYear < 1000)
          lastModYear += 1900;
    }  
  
  var lastDateStr = "" + lastModYear 
  //Netscape switches from YY to CCYY at 2000
  lastDateStr = lastMonthStr + lastModDay + ", " + lastDateStr
  lastModHours = lastModDate.getHours()
  lastModMinutes = lastModDate.getMinutes()
  lastModSeconds = lastModDate.getSeconds()
  var am_pm = (lastModHours < 12) ? "AM" : "PM"  
  if (lastModHours > 12)
     lastModHours -= 12
  else
     if (lastModHours == 0)
        lastModHours = 12 
  var lastModTime = "" + ((lastModHours < 10) ? "0" : "") + lastModHours
  lastModTime += ((lastModMinutes < 10) ? ":0" : ":") + lastModMinutes 
  lastModTime += ((lastModSeconds < 10) ? ":0" : ":") + lastModSeconds + am_pm
  // write the last date/time modified this document
  document.write("<FONT SIZE=-1><U><I>")                       // write a new line
  document.write("This page was last updated on " + lastDateStr
    + " at " + lastModTime + ".</I></U></FONT>")
   
  // end JS hide -->