CREATE TABLE table_15873547_1 (colors VARCHAR(255), residence_hall VARCHAR(255))
What are the colors of Howard Hall?
    
SQL: SELECT colors FROM table_15873547_1 WHERE residence_hall = "Howard Hall"