// JavaScript Document

// flash.js

function flash(s) { document.writeln(s); }