Eso fue una bandera de 9.000 millones de dólares.