function flash_player() { document.writeln('

'); }