lastmoddate = new Date()
lastmoddate.setTime(Date.parse(document.lastModified))
if(lastmoddate > 0)
  {
  var year     = lastmoddate.getYear()
  var month    = lastmoddate.getMonth() + 1
  var day      = lastmoddate.getDate()
  var hour     = lastmoddate.getHours()
  var min      = lastmoddate.getMinutes()
  var sec      = lastmoddate.getSeconds()
  var wdy      = lastmoddate.getDay()
  var weekday  = "Weekday"
    if(year < 2000)
      {
        year = year + 1900
      }
  switch(wdy)
	{ 
		case 0: 
			weekday = "Sunday"
			break
		case 1: 
			weekday = "Monday"
			break
		case 2: 
			weekday = "Tuesday"
			break
		case 3: 
			weekday = "Wednesday"
			break
		case 4: 
			weekday = "Thursday"
			break
		case 5: 
			weekday = "Friday"
			break
		case 6: 
			weekday = "Saturday"
			break
	}
  document.writeln("<font face=Westminster size=+1><b>")
  document.writeln("Last Modified on " + weekday + " " +
                 ((day   < 10) ? " 0" : " ") + day   +
                 ((month < 10) ? "-0" : "-") + month +
		                        "-"  + year  +
                 " at " +
                 ((hour  < 10) ? " 0" : " ") + hour  +
                 ((min   < 10) ? ":0" : ":") + min   +
                 ((sec   < 10) ? ":0" : ":") + sec)
  document.writeln("</font></b>")
  }