Declare that the attribute name is of type ID, so that the element is found by Document.getElementById(). Raise NotFoundErr if the element has no such attribute.
xml.dom/Element.setIdAttribute
Element.setIdAttribute