function p(x) { document.writeln(x); }
