<!-- Begin

document.write('<p><b><a href="index.html">Main Page</a></b></p>');
document.write('<p><b><a href="projects.html">Projects</a></b></p>');
document.write('<p><b><a href="publications.html">Publications and Presentations</a></b></p>');
document.write('<p><b><a href="personnel.html">Personnel</a></b></p>');
document.write('<p><b><a href="contact.html">Contact</a></b></p>');

//  End -->