sum from k=2 to 7 of (7 choose k)*stirlingS2(17,7-k)*(7-k)!