How much is: 7 + 10 =