function writeMenu() { document.writeln('
















'); }