function flash_ctrl(f_file, with_px, height_px, qly){ document.write('

'); } function flash_ctrl2(f_file, with_px, height_px, qly, alt_gif, alt_url){ document.write('

'); }