. . . . "2010Z"^^ . . "305.407"^^ . "800647"^^ . "0.2"^^ . "2.62366e+09"^^ . "5.95697e+06"^^ . "El Paso County is the westernmost county in the U.S. state of Texas. As of the 2010 census, the population was 800,647, making it the sixth-most populous county in Texas. Its county seat is El Paso, the sixth-most populous city in Texas and the 19th-most populous city in the United States."@en . "2.62884e+09"^^ . . "El Paso County"@en .