sum_{v=0}^8 binom(15-v, 5) * binom(15,v) * binom(9,8-v)