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"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_12 (total VARCHAR, player VARCHAR) Question: What is Total, when Player is "Hale Irwin"? [/INST] SELECT total FROM table_name_12 WHERE player = "hale irwin" </s>