/*  header.js:  this library will contain code to populate header */
document.write("<h1>This text is populated from footer.js</h1>");
document.write("<h2>Title: ",  document.title, "</h2>");
document.write("<h2>URL: ",  document.URL, "</h2>");
document.write("<h2>Last Modified: ",  document.lastModified, "</h2>");