Question: what is the City Population of Attock District
SQL: SELECT city_population FROM district where District_name  =  "Attock District"