7,174,142 coins