Which number is larger: 12 or 7?