435,000,000 en el Fondo Monetario Internacional, la Tesorería de los Estados Unidos de Norteamérica y el Banco de Exportaciones e Importaciones.