MD5 (X401src-1.tgz) = b2ad4a077ac7c09d85e6a0fc0728a536
MD5 (X401src-2.tgz) = a3363a076f355ddbba68c7f0557438ff
MD5 (X401src-3.tgz) = 13c9bb425218082d74c2c7a87a70350c
MD5 (doctools-1.2.tgz) = ddca6a461dd6e1735c0da313bc7e7cb8