function run_menu(flash_param){ document.write(' '); }