XMLPATCH ( XMLType_document, XMLType_document )