What does 8+7 equal?