25,856 coins