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}"/>