<?phpinclude("example.inc"); if (!$dom = domxml_open_mem($xmlstr)) { echo "Error while parsing the document\n"; exit; }$doctype = $dom->doctype(); echo $doctype->public_id();?>