( binom(3000, 9)*binom(10^7-3000, 10000-9) )/binom(10^7, 10000)