42,373,013 coins