How much is: 10 + 7 =