What is the sum of 7 and 5?