12 billion dollar deficit