sum(k*binomial(12,k)*(1/4)^k*(3/4)^(12-k),{k,0,12})