How much is: 17 + 10 =