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