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