4512 is the enrollment what is the team nickname?
CREATE TABLE "division_ii" (
  "institution" text,
  "location" text,
  "founded" real,
  "affiliation" text,
  "enrollment" real,
  "team_nickname" text,
  "primary_conference" text
);
SELECT "team_nickname" FROM "division_ii" WHERE "enrollment"=4512;