<!-- Begin

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

//  End -->