binom (100,12)^5 * binom (100,8)^5 / binom (1000,100)