How much is: 13 + 3 =