document.write('<ul class="navbul">');
document.write('	<li class="navbli"><a href="index.html" class="leftnavb">Introduction</a></li>');
document.write('	<li class="navbli"><a href="pubs.html" class="leftnavb">Selected Publications</a></li>');
document.write('	<li class="navbli"><a href="cv.html" class="leftnavb">CV</a></li>');
document.write('	<li class="navbli"><a href="lab.html"class="leftnavb">Lab Members</a></li>');
document.write('	<li class="navbli"><a href="links.html"class="leftnavb">Links of Interest</a></li>');
document.write('</ul>');