MD5 (foiltex.dtx) = 52be74b74f9bd3a7c14b64abe013ff0b SIZE (foiltex.dtx) = 173634 MD5 (foiltex.ins) = a3a0a5fd301af99b54289db83a881982 SIZE (foiltex.ins) = 6319