The Army (21,000 personnel) comprises three brigades and other small units. An infantry brigade (mainly equipped with Pandur II APC), a mechanized brigade (mainly equipped with Leopard 2 A6 tanks and M113 APC) and a Rapid Reaction Brigade (consisting of paratroopers, commandos and rangers). The Navy (10,700 personnel, of which 1,580 are marines) has five frigates, seven corvettes, two submarines, and 28 patrol and auxiliary vessels. The Air Force (7,500 personnel) has the Lockheed F-16 Fighting Falcon and the Dassault/Dornier Alpha Jet as the main combat aircraft.

What is the number of personnel in the army?