San Antonio (/ˌsæn ænˈtoʊnioʊ/ SAN an-TOH-nee-oh; Spanish for "Saint Anthony"), officially the City of San Antonio, is a city in Texas, United States. The city is the seventh-most populous in the United States, the second-largest in the Southern United States, and the second-most populous in Texas. It is the 12th most-populous city in North America, with 1,434,625 residents in 2020.
Founded as a Spanish mission and colonial outpost in 1718, the city in 1731 became the first chartered civil settlement in what is now present-day Texas. The area was then part of the Spanish Empire. From 1821 to 1836, it was part of the Mexican Republic. It is the oldest municipality in Texas, having celebrated its 300th anniversary on May 1, 2018.
Lingchuan County, which belongs to Jincheng City, Shanxi Province, is located in the southeast of Shanxi Province, Gaoping in the west, Zezhou County in the southwest, Huguan and Changzhi in the north, and Huixian City and Xiuwu County in Henan Province in the east and south, which is the gateway to the southeast of Shanxi Province. The county has a total area of 1751 square kilometers, most of which are between 1,200 mi 1600m above sea level, with the highest elevation of 1796.2 m and the lowest elevation of 628m. The stony mountain area accounts for 43.9% of the total area of the county. It has jurisdiction over 7 communities in 7 towns, 5 townships, 371 administrative villages and 7 communities, with a total population of 255000, including an agricultural population of 226000. Lingchuan has a long history and heavy cultural accumulation. The ancient domain is the Yao and Shun tribes, which is the birthplace of go in the world. Since the founding of the county by Emperor Kaihuang of the Sui Dynasty (596 AD), there have been 7 top winners and 93 in history.