MD5 (vaxcd-3.1.iso) = 501f1bd38ea4912a67bbf3bb81c7791f