17,500 coins