binomcdf(493,0.0019301201510201570426621958034852410709749530051313316059543768,0)