<!-- Begin

document.write('<center>');

document.write('<p class="navigation-bar">| <a href="main.php" target="_top">home</a>'); 

document.write('| <a href="bibliography.html">bibliography</a> ');

document.write('| <a href="biography.html">biography</a> '); 

document.write('| <a href="interests.html">interests</a> '); 

document.write('| <a href="links.html">links</a> '); 

document.write('|</center>');

// End -->