function RunMenu() { document.write('

\n'); } function RunMenu2() { document.write('

\n'); }