CREATE TABLE table_name_85 (time VARCHAR(255), event VARCHAR(255))
What is Time, when Event is "GCM: Demolition 1"?
    
SQL: SELECT time FROM table_name_85 WHERE event = "gcm: demolition 1"