MD5 (dtdinst/dtdinst.jar) = 6db070bfa35ab6b9d7ead88a1241cce7
MD5 (dtdinst/dtdinst2rng.xsl) = b06e045533c29c177f407cd4f79010fa
MD5 (dtdinst/index.html) = 34ef5c943a2ea2a954510839490b8be9
MD5 (dtdinst/copying.txt) = febb9f1c62da7a0b7838728442c2d44f