Question: what is the city population of Attock District
SQL: SELECT City_Population FROM district where  Headquartered_City  =  "Attock City"