function makeArray0() {

     for (i = 0; i<makeArray0.arguments.length; i++)

          this[i] = makeArray0.arguments[i];

}



var months = new makeArray0('January','February','March',

    'April','May','June','July','August','September',

    'October','November','December');



function y2k(number) { return (number < 1000) ? number + 1900 : number; }



var last = document.lastModified;

var url = document.location.href;

var date = new Date(last);

document.write("<center>" + "Last updated on "  + months[date.getMonth()] + " " + date.getDate()

    + ", " + (y2k(date.getYear())) + "  ---  " + (url) + "</center>");