user: Question: What is the total number of Total, when To Par is 12?
Columns: ['Player', 'Country', 'Year(s) won', 'Total', 'To par', 'Finish']
Types: ['text', 'text', 'text', 'real', 'real', 'text']
Sample row: ['Ben Hogan', 'United States', '1948 , 1950 , 1951 , 1953', 289.0, 9.0, 'T14']
SQL:

assistant: SELECT SUM("Total") FROM "Table" WHERE "To par" = 12.0;