Eso equivaldría a 22,000 millones de dólares actuales como deuda básica sin intereses.