252,600 coins