md5sum of ./pub/win95/util/ramdef13.exe

a400fa1ed3dfa7df6c2e80d74b0374f5