function js_docwrite(str) { document.write(str); }