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