CREATE TABLE table_name_34 (left_office VARCHAR(255), entered_office VARCHAR(255))
When did the king who entered office in 1012 leave office?
    
SQL: SELECT left_office FROM table_name_34 WHERE entered_office = "1012"