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