document.writeln('<TABLE border=0 width="80%" bgcolor="black" cellpadding="5">')
document.writeln('<tr valign="center" align="center">')

txt = '<td class="menu" width="16%">[ <a href="../index.html"         target="_top">Up</a> ]</td>'
txt = '<td class="menu" width="16%">[ <a href="../index.html"         target="_top">Up</a> ] [ <a href="http://tofte.org"   target="_top">Home</a> ]</td>\n'

document.writeln(txt)

document.writeln('</tr></table><br>')