CREATE TABLE table_name_53 (enrollment NUMBER, mascot VARCHAR2)

What is the enrollment of the school whose mascot is hot dogs?
SELECT SUM(enrollment) FROM table_name_53 WHERE mascot = "hot dogs"
SELECT SUM("enrollment") FROM "table_name_53" WHERE "hot dogs" = "mascot"