What is the sum of 8 and 7?