If the sum of two numbers is 20 and one number is 12, what is the other number?