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

'); }