normalcdf(2.5,6000.5,6,2.4483)