function myprintln(s) { document.write(s); }