Ha ragione. Probabilmente sono 18 miliardi di dollari.