12,000 coins