document.write("<div id='menu'>	")
document.write("  <ul class='nav'>")
document.write("      <li><a href='index.html'>Home</a></li>")
document.write("      <li><a href='bio.html'>Bio</a></li>")
document.write("      <li><a href='research.html'>Research</a></li>")
document.write("      <li><a href='publications.html'>Publications</a></li>")
document.write("      <li><a href='cv.pdf'>CV[pdf]</a></li>")
document.write("      <li><a href='links.html'>Links</a>")
document.write("        <ul>")
document.write("        <li><a href='physicslinks.html'>Physics Links</a></li>")
document.write("        <li><a href='computinglinks.html'>Computing Links</a></li>")
document.write("        </ul>")
document.write("      </li>")
document.write("")
document.write("      <li><a href='webpicchris/main/main/chrispictures.html'>Pictures</a></li>")
document.write("  </ul>")
document.write("</div>	")