การลงทะเบียนของโรงเรียนที่มีตัวนำโชคเป็นฮอทดอกคืออะไร?ไม่จำเป็นต้องใช้โต๊ะทั้งหมด
What is the enrollment of the school whose mascot is hot dogs?It is not neccessary to use all the tables.
 table_name_53:  enrollment [ INTEGER]  mascot [ VARCHAR] 
SELECT SUM(enrollment) FROM table_name_53 WHERE mascot = "hot dogs"