function toggleAnswer(nam) {
    var el = document.getElementById(nam);
    if (el.style.display == 'none')
        el.style.display = '';
    else
        el.style.display = 'none';
}


function writeNav() {
document.write(" <div id='navigation'>");
document.write("    <ul class='nav right'> ");
document.write("                 <li>");
document.write("                     <span class='b'><a href='index.html'>Home</a></span>  ");                 
document.write("                 </li>");
document.write("                 <li>");
document.write("                     <span class='b'><a href='people.html'>People</a></span>");
document.write("                 </li>");
document.write("                 <li>");
document.write("                     <span class='b'><a href='projects.html'>Projects</a></span>");
document.write("                 </li>");
document.write("                 <li>");
document.write("                     <span class='b'><a href='pubs.html'>Publications</a></span>");
document.write("                 </li>");
document.write("                 <li>");
document.write("                     <span class='b'><a href='books.html'>Books</a></span>");
document.write("                 </li>");
document.write("                 <li>");
document.write("                     <span class='b'><a href='media.html'>Media</a></span>");
document.write("                 </li>");
document.write("                 <li>");
document.write("                     <span class='b'><a href='links.html'>Links</a></span> ");
document.write("                 </li>");
document.write("                 <li>");
document.write("                    <span class='b'><a href='software.html'>Software</a></span>  ");
document.write("                 </li>");
document.write("             </ul>");
document.write("        </div>");
      }