(: 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}"/>+−