What is Total, when Player is 'Hale Irwin'?
CREATE TABLE table_name_12 (
    total VARCHAR,
    player VARCHAR
)
SELECT total FROM table_name_12 WHERE player = "hale irwin"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is Total, when Player is 'Hale Irwin'? ### Input: CREATE TABLE table_name_12 (
    total VARCHAR,
    player VARCHAR
) ### Response: SELECT total FROM table_name_12 WHERE player = "hale irwin"