CREATE TABLE table_name_53 (enrollment INTEGER, mascot VARCHAR)
SELECT SUM(enrollment) FROM table_name_53 WHERE mascot = "hot dogs"
การลงทะเบียนของโรงเรียนที่มีมาสคอตเป็นฮอทด็อกคืออะไร?
What is the enrollment of the school whose mascot is hot dogs?