user: Question: What is the enrollment of the school whose mascot is Hot Dogs?
Columns: ['School', 'Location', 'Mascot', 'Enrollment', 'IHSAA Class', 'County', 'Year Joined']
Types: ['text', 'text', 'text', 'real', 'text', 'text', 'real']
Sample row: ['Crawfordsville', 'Crawfordsville', 'Athenians', 726.0, 'AAA', '54 Montgomery', 1967.0]
SQL:

assistant: SELECT "Enrollment" FROM "Table" WHERE "Mascot" = 'Hot Dogs';