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