sum k=1..4 of binomial(4,k)*k!*stirlings2(15,k)