CREATE TABLE table_2140 ("Institution" CLOB, "Location" CLOB, "Nickname" CLOB, "Founded" FLOAT, "Type" CLOB, "Enrollment" FLOAT, "Joined" FLOAT)

Name the nickname for enrollment being 9000
SELECT "Nickname" FROM table_2140 WHERE "Enrollment" = '9000'
SELECT "Nickname" FROM "table_2140" WHERE "Enrollment" = '9000'