document.write('	<a href="index.html#courses" class="navtxt">Courses Taught</a>');
document.write('	&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('	<a href="index.html#research" class="navtxt">Research</a>');
document.write('	&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('	<a href="index2.html#pubs" class="navtxt">Publications</a>');
document.write('	&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('	<a href="index2.html#thesis" class="navtxt">Student Theses and Dissertations</a>');