function lastModifiedDate() {
  //var months = new Array('January','February','March','April','May','June','July','August','September','October','November','December');
  var last = new Date( document.lastModified );
  //var dateFormatted = months[last.getMonth()] + " " + last.getDate() + ", " + last.getYear() + " at " + last.getHours() + ":" + last.getMinutes();
  document.write( "This page last updated " + last.toLocaleString() + "." );
}