What was the mintage when the theme was Santa Claus?
CREATE TABLE table_name_15 (mintage VARCHAR, theme VARCHAR)
SELECT mintage FROM table_name_15 WHERE theme = "santa claus"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_15 (mintage VARCHAR, theme VARCHAR) Question: What was the mintage when the theme was Santa Claus? [/INST] SELECT mintage FROM table_name_15 WHERE theme = "santa claus" </s>