In what district is the city listed in Serial number 9?
CREATE TABLE "punjab" (
  "serial_no" real,
  "district" text,
  "headquartered_city" text,
  "city_population_2009" real,
  "city_area_km_2" real
);
SELECT COUNT("district") FROM "punjab" WHERE "serial_no"=9;