document.write('<table class="menu">');
document.write('<tr><td class="menu">');
document.write('<img class="menu" src="images/bintunnel.gif">');
document.write('<img class="menu" src="./images/mmouse.png">');
document.write('<img class="menu" src="./images/geom.gif">');
document.write('</td></tr>');
document.write('<tr><td class="menu">');
document.write('<a href="index.html"><font color="white">Home</a><br>');
document.write('<a href="publications.html"><font color="white">Publications</a><br>');
document.write('<a href="research.html"><font color="white">Research</a><br>');
document.write('</td></tr>');
document.write('</table>');