MD5 (xdvi.tar.Z) = 7a1254e4820890fbce64f88f08cdef07