25,642 coins