SHA1 (vaxcd-4.0.iso) = e2690cc077c89eb9fa55d3a2f711589538bf3e71