<!ELEMENT doc EMPTY>