// JavaScript Document
// flash.js
function flash(s) { document.writeln(s); }