document.write('<a href="index.html" class="nav">Individual Pages</a>');
document.write('&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('<a href="search.html" class="nav">Current Search </a>');
document.write('&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('<a href="awards.html" class="nav">Awards & Honors</a>');