(7 choose 4) / (12 choose 4)