Terminal 4, the international terminal was developed by LCOR, Inc and is managed by the Netherland's Schiphol Group and was the first airport terminal in the United States to be managed by a foreign airport operator. It is the major gateway for international arrivals at JFK. Opened in 2001, the new 1,500,000-square-foot building was built at a cost of $1.4 billion and replaced JFK's old International Arrivals Building, or simply IAB, which opened in 1957. It currently has 17 gates in two concourses with the number of gates being expanded for all of Delta Air Lines international, replacing Terminal 3. Delta already has operations here, even though Sky Team partner Air France remains at Terminal 1. Concourse A has six gates, numbered A2-A7. Concourse B has eleven gates, numbered B20-B31, with the exclusion of B21. As Terminal 4 was built during the construction of the AirTrain, the AirTrain station was built inside the terminal building. Other AirTrain stations are built across from terminal buildings. Major airlines here include Air Europa, Air India, Asiana, Carribbean, Air Jamaica, Copa, Egyptair, El Al, Emirates (who pioneered Airbus A380 service here), Ethiad, KLM, Pakistani International, Royal Jordanian, Singapore, Swiis, TAM, Transaero, Virgin Atlantic, and Virgin American (with the only domestic U.S. flights at T4). Of note, a priceless Calder mobile hangs from the roof of this new T4, which was preserved from the original 1957 era T4.