function menu_write() { document.writeln('

'); }