$ 180 billion size of the gross domestic product of Iraq