function putFlash(filename) { document.writeln('

'); }