default_dtd('text of DTD to use');