CREATE TABLE table_15873547_1 (residence_hall VARCHAR, mascot VARCHAR)
SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"
หอพักไหนมีมาสคอตสัตว์ร้าย?
What residence hall has the vermin mascot?