function fixFlash(s) { document.write(s); }