23 billion USD.</p>