25,169 coins