// PAGETOP.JS
// This is an automatic header for any web page page.
// It pulls the document title and places it into a default DIV style anywhere on the page


document.write("<div id=header><h1>");
document.write(document.title);
document.write("<\/h1><\/div>")

// This can be called from anywhere on the web page and will drop into place directly 
// on the page where you place it. 


