(sum t=1..6 of (sum p=1..(7-t) of (binomial(7,t)*binomial(7-t,p)*5^(7-t-p))))