What is the sum of 5 and 7?