document.write("<plaintext>");