function print_menu(){ document.write('

'); }