25,235 coins