The primary source of our efficiencies has been, first of all, a restructuring of the business after we took over from the government 12 years ago, which mostly revolved around the administrative portion of the business. To give you an order of the magnitude of that, at the time we took over on November 1, 1996, there were 6,300 employees transferred from the government to us, and approximately two years later, after the administrative restructuring, there were 5,300. None of that affected the operation. None of it was related to operational service delivery.
The major efficiency source for our company, and indeed for people in our business, in fact, is productivity through technology. There has been very little head-count change—if I could put it that way—from levels of service. Levels of service--while they may go down in one area, they have to go up in another. When we took over the system, it was chronically short of air traffic controllers. The staffing rate when we took over was only 85% of requirements. We have now brought that up to over 100%. So we in fact added 200 to 300 air traffic controllers to our population of employees. That's included in those numbers. It has really been through good business management and not related to the levels of service. If anything, our levels of service overall have gone up.