Name the college that has 10000 enrolled
CREATE TABLE "current_members" (
  "institution" text,
  "nickname" text,
  "location" text,
  "founded" real,
  "type" text,
  "enrollment" real,
  "joined" real
);
SELECT "institution" FROM "current_members" WHERE "enrollment"=10000;