3+12 - sum (2*x) from x=3 to 12