258,878 coins