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