System.Xml.HtmlEncodedRawTextWriter.WriteDocType(System.String, System.String, System.String, System.String)