What is the sum of 7 and x?