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