function displayModDate() {
  var lastModifiedDate = new Date(document.lastModified);
  var month = lastModifiedDate.getMonth();
  var day = lastModifiedDate.getDate();
  var year = lastModifiedDate.getYear();
  if (year < 2008) {
    year += 1900;
  }
  var monthNames = ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
  modifiedDate.innerHTML = "Last Modified: " + monthNames[month] + " " + day + ", " + year;
}