normalcdf(3875,4055,4000,42)