binomcdf(10,+80/12000,+1)