25,242 coins