MD5 (dtdinst-2003.01.22/dtdinst.jar) = 0e0b372e7647212a6fce08013768fa3e
MD5 (dtdinst-2003.01.22/dtdinst2rng.xsl) = b06e045533c29c177f407cd4f79010fa
MD5 (dtdinst-2003.01.22/index.html) = 4406758cdb5cc31b2e29e64e03bf0ce2
MD5 (dtdinst-2003.01.22/copying.txt) = 23b5091824c13e8d6b68133e0d23d052