76,423 coins