document.write('<ul class="navbul">');
document.write('	<li class="navbli"><a href="index.html" class="leftnavb">Research Description</a></li>');
document.write('	<li class="navbli"><a href="teaching.html" class="leftnavb">Current Teaching and Service</a></li>');
document.write('	<li class="navbli"><a href="pubs.html" class="leftnavb">Publications</a></li>');
document.write('	<li class="navbli"><a href="education.html" class="leftnavb">Education, Employment and Selected Honors</a></li>');
document.write('	<li class="navbli"><a href="lectures.html" class="leftnavb">Invited Lectures</a></li>');
document.write('</ul>');