function initArray() {this.length = initArray.arguments.length
  for (var i = 0; i < this.length; i++)
  this[i+1] = initArray.arguments[i]}

/* Month */
function honev(ho) {
var month = new initArray("January","February","March","April","May",
 "June","July","August","September","October","November","December");
return month[ho]
}

/* Day */
function napnev(szam) {
var napok = new
initArray("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday")
return napok[szam]
}

function revised()
{
  var ido = new Date(document.lastModified)
  var ev = ido.getFullYear()
  var ho = ido.getMonth()+1
  var nap = ido.getDate()
<!--  ev+=((ev<97) ? 2000 : 1900) -->
  document.writeln("<font size=1>This page was last modified on " + napnev(ido.getDay()+1) + ", " + honev(ho) + " " + nap + " " + ev +".")
}