document.write('<p class="NavBar3"><a href="../../Miscellaneous/History.htm#New" target="_top">content on this page ')

/*********************************************** commented out

// THE FOLLOWING GIVES THE LAST MODIFIED DATE OF THE DOCUMENT NOT THE CONTENT

// Formatted last-modified date
// Jim Dettwiler  http://www.icehouse.net/jim_d/

if (Date.parse(document.lastModified) != 0) {
  var modiDate = new Date(document.lastModified);
  var monthName = new Array("January", "February", "March", "April", "May", 
   "June", "July", "August", "September", "October", "November", "December");
  document.write('<p class="NavBar3"><a href="../../Miscellaneous/History.htm#New" target="_top">content on this page last modified ' + monthName[modiDate.getMonth()] + ' ');
  document.write(modiDate.getDate() + ", " + modiDate.getFullYear());
  }

***********************************************/