user: In how many countries, is the IMF credit in the Department of Defense in 1971 greater than the average IMF credit in the Department of Defense in 1971 taken over all countries?
  Your answer should be compact.