402,118 coins