and International Development Association, dated December 7, 1973.