1 2 3
(: Copy the value of xml:id attribute from other.html. This is a comment by the way! :) <html xmlns="http://www.w3.org/1999/xhtml/" xml:id="{doc("other.html")/html/@xml:id}"/>