25,058 coins