What is the sum of 9 and 8?