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