La deuda gubernamental es de 4.038 millones de dólares.