CREATE TABLE table_name_12 (total VARCHAR(255), player VARCHAR(255))
What is Total, when Player is "Hale Irwin"?
    
SQL: SELECT total FROM table_name_12 WHERE player = "hale irwin"