What was the total enrollment 08-09 of Franklin County?
CREATE TABLE "membership" (
  "school" text,
  "city" text,
  "team_name" text,
  "enrollment_08_09" real,
  "ihsaa_class" text,
  "ihsaa_class_football" text,
  "county" text,
  "year_joined_or_joining" real,
  "previous_conference" text
);
SELECT COUNT("enrollment_08_09") FROM "membership" WHERE "school"='franklin county';