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