What is the enrollment of the school whose mascot is hot dogs?
CREATE TABLE table_name_53 (
    enrollment INTEGER,
    mascot VARCHAR
)
SELECT SUM(enrollment) FROM table_name_53 WHERE mascot = "hot dogs"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the enrollment of the school whose mascot is hot dogs? ### Input: CREATE TABLE table_name_53 (
    enrollment INTEGER,
    mascot VARCHAR
) ### Response: SELECT SUM(enrollment) FROM table_name_53 WHERE mascot = "hot dogs"