415,300 coins