function menu() { document.write('

'); } menu();