12,500 coins