Senegal's armed forces totaled 9,400 personnel in 2002. The army of 8,000 men included 9 infantry or armored battalions, 1 artillery battalion, and 1 engineering battalion. The navy of 600 had 10 patrol and small landing craft, and the air force of 800 had 8 combat aircraft. There was also a paramilitary force of some 5,800 personnel in the gendarmerie. Military outlays in 2002 were $68.6 million or 1.4% of GDP. Senegal supplied troops for service in the DROC and UN observers in Iraq and Kuwait. France maintains a reinforced marine regiment of 1,200 in Senegal.