Wat is de som van 8 en 7?