// java_fix.js
function fx(s) { document.writeln(s); }