What is the sum of seven and five: