function initArray() {
     this.length = initArray.arguments.length
     for (var i = 0; i < this.length; i++)
         this[i+1] = initArray.arguments[i]
}
function get_last_update_date(){
var MonthOfYearArray = new initArray("January","February","March","April",
                                     "May","June","July","August",
                                     "September","October","November","December");

var LastModifiedDate = new Date(document.lastModified);

document.write("Last Updated: ");
document.write(MonthOfYearArray[(LastModifiedDate.getMonth()+1)]," ");
document.write(LastModifiedDate.getDate(),", ");
document.write(LastModifiedDate.getFullYear());
}