function prt(t) { document.write(t); }