var myString = ' \
\
<div id="nav"> \
  <hr/> \
  <ul> \
';
myString += '<li><a href="' + root + 'index.html">Home</a></li>';
myString += '<li><a href="' + root + 'research.html">Research</a></li>';
myString += '<li><a href="' + root + 'publications/">Publications</a></li>';
myString += '<li><a href="' + root + 'teaching.html">Teaching</a></li>';
myString += '<li><a href="' + root + 'autobiography.html">Autobiography</a></li>';
myString += '<li><a href="http://picasaweb.google.com/mdevuyst">Photos</a></li>';
myString += '\
  </ul> \
  <hr/> \
</div> \
\
';

document.write(myString);