document.write('<a href="index.html" class="subnav">Patents</a>');
document.write('&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('<a href="pubs80.html" class="subnav">Publications 1980s</a>');
document.write('&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('<a href="pubs90.html" class="subnav">Publications 1990s</a>');
document.write('&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('<a href="pubs00.html" class="subnav">Publications 2000s</a>');