function insert_flash(flash_src, flash_width, flash_height, flash_title) { document.write('

'); }