$12.56bn external debt