42,384,506 coins