25,700 coins