function flash_write(file, vars) { document.write('

'); }