7,402,421 coins