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

function lastMod() {
  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;

  document.write("last modified " + months[month]+ " " + day + ". " + year);
}