sum[{(17-k) choose 9-k} {(15-k) choose 9-k} {10 choose k} (-1)^k, {k,0,10}]