// create the menu bar

document.write('<table class="blueborder" border="0" width="100%">\n');
document.write('<tr>\n');
document.write('<td align="center" width="20%"><a class="menu" href="/index.html">Home</a></td>\n');
document.write('<td align="center" width="20%"><a class="menu" href="/vita.html">Vita</a></td>');
document.write('<td align="center" width="20%"><a class="menu" href="/works.html">Works</a></td>\n');
document.write('<td align="center" width="20%"><a class="menu" href="/mail.html">Mailing List</a></td>');
document.write('<td align="center" width="20%"><a class="menu" href="/contact.html">Contact</a></td>\n');
document.write('</tr>\n');
document.write('</table>\n');