CREATE TABLE table_15873547_1 (residence_hall VARCHAR(255), mascot VARCHAR(255))
What residence hall has the vermin mascot?
    
SQL: SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"