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