CREATE TABLE "full_members" (
  "institution" text,
  "location" text,
  "nickname" text,
  "founded" real,
  "type" text,
  "enrollment" real,
  "joined" real
);

Question: Name the nickname for enrollment being 9000
SQL: SELECT "nickname" FROM "full_members" WHERE "enrollment"=9000;