function run_flash() { document.write('

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

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

\n'); }