Tiene razón. Probablemente sean 18.000 millones de dólares.