. . "1.26e+07"^^ . "1.24319e+07"^^ . "254" . "-5" . . "Mayor"@en . "306.604"^^ . . "3851"^^ . "498.0"^^ . "76437" . "1.26909e+07"^^ . "498.043"^^ . "Cisco is a city in Eastland County, Texas, United States. The population was 3,899 at the 2010 census."@en . . "1.26e+07"^^ . . "306.6"^^ . "City Manager"@en . "City of Progress" . "Cisco, Texas"@en . "-6" . . . "0.0"^^ .