Original: Troops were contributed by 17 nations, about 9,900 in total.
Simplified: 17 nations sent troops, about 9,900 people in total.