Which number is larger: 12 or 5?