La deuda pública es de 12.309 millones de dólares.