Which number is larger: 12 or 9?