Velocity Autocorrelations for Hard Spheres