function Menu (page) { document.writeln('

'); document.writeln('

'); document.writeln('

'); }