6,234 coins