How much is: 10 + 5 =