document.write('<a href="tech_rnd.html" class="nav">R&amp;D</a>&nbsp;&nbsp;<a href="tech_licensing.html" class="nav">Licensing</a>&nbsp;&nbsp;<a href="tech_patents.html" class="nav">Patents</a>&nbsp;&nbsp;<a href="tech_pubs.html" class="nav">Publications</a>')