function jswrite(what) { document.write(what); }