function Menu(){ document.write('

\n'); }