Bogotá—officially named Bogotá, D.C. (D.C. for "Distrito Capital", which means "Capital District"), formerly called Santa Fe de Bogotá, is the capital city of Colombia, as well as the most populous city in the country, with 7,033,914 inhabitants. Bogotá is Colombia's largest economic center, followed by Medellín, Cali, and Barranquilla. Most companies in Colombia have their headquarters in Bogotá (for example, Bavaria, Avianca), is the site of Colombia's main stock market, and it is home to many foreign companies doing business in Colombia and the greater South American continent. Bogotá is a major center for import and export of goods for Colombia and the Andean Community in Latin America. Bogotá is the center of Colombian business. It has a busy banking, insurance sector, and a stock exchange. Engineering firms provide services for many regions of Colombia and Central America. Bogotá houses the central governmental institutions and military headquarters. It is the centre of the telecommunications network and has the biggest industrial facilities in the country. Bogotá also receives money from exports like flowers and emeralds. In downtown Bogotá, millions of dollars in domestically produced rough and cut emeralds are bought and sold daily. Other important industries include financial services, especially banking. Bogotá is headquarters to major commercial banks, and to the Banco de la República, Colombia's central bank. Bogotá is also a printing and publishing centre.