13,000 coins