What is the sum of 6 and 7?