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