function run_menu1() { document.write('

'); }