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