function MakeArray(n) {

    this.length = n;
    for (var i=0; i<= n; i++) {
	this[i] = 0;
    }
    return this;
  }
    months = new MakeArray(11)

	months[0] = "January"
	months[1] = "February"
	months[2] = "March"
	months[3] = "April"
	months[4] = "May"
	months[5] = "June"
	months[6] = "July"
	months[7] = "August"
	months[8] = "September"
	months[9] = "October"
	months[10] = "November"
	months[11] = "December"

	update=new Date(document.lastModified)

	theMonth = months[update.getMonth()]

	theDate = update.getDate()

	theYear = update.getFullYear()

	if (theYear < 2000)
		theYear = theYear +100

	document.writeln('<b><FONT SIZE="-1" >THIS PAGE WAS LAST MODIFIED :  ',theDate, " ",theMonth," ",theYear,  '</FONT></b>' )