The EXTERNAL_ID element is the public identifier of the DTD.
<EXTERNAL_ID>-//W3C//DTD HTML 4.01//EN</EXTERNAL_ID>
This element is a child of one of the following elements: DOC_TYPE