added setDocumentHTML()