function externalDocumentWrite(t) {

    document.write(t)

}