How much is: 13 + 7 =