document.write('<a href="index.html" class="nav">Research Thrusts</a>');
document.write('&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('<a href="../research/related_sites.html" class="nav">Related Sites</a>');