10,250 coins