document.write("<div id='header'></div>");
document.write("<div id='menulinks'>");
document.write("<a href='index.html'>Home</a>");
document.write("<div class='menulines'></div>");
document.write("<a href='PeopleCurrent.html'>People</a>");
document.write("<div class='menulines'></div>");
document.write("<a href='photos.html'>Photos</a>");
document.write("<div class='menulines'></div>");
document.write("<a href='publications.html'>Publications</a>");
document.write("<div class='menulines'></div>");
document.write("<a href='links.html'>Links</a>");
document.write("<div class='menulines'></div>");
document.write("</div>");