5,523,476 coins