function makeArray() {
     for (i = 0; i <makeArray.arguments.length; i++)
          this[i + 1] = makeArray.arguments[i];
}
var days = new makeArray('Sunday', 'Monday','Tuesday','Wednesday',
	'Thursday','Friday','Saturday');
var months = new makeArray('January','February','March',
    'April','May','June','July','August','September',
    'October','November','December');

var date = new Date(document.lastModified);
var day  = date.getDate();
var month = date.getMonth() + 1;
var yy = date.getYear();
var year = (yy < 1000) ? yy + 1900 : yy;
var dayName = date.getDay() + 1;

document.write("<I>Last updated " + days[dayName], ", " + day + " " + months[month] + " " + year + "</I>");