>>875
(12C4)(8C4)/3! = 5775