What does 5 + 7 add up to?