What is the total number of Tonnage, when Date is "25 June 1943"?
CREATE TABLE table_name_4 (tonnage VARCHAR, date VARCHAR)
SELECT COUNT(tonnage) FROM table_name_4 WHERE date = "25 june 1943"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_4 (tonnage VARCHAR, date VARCHAR) Question: What is the total number of Tonnage, when Date is "25 June 1943"? [/INST] SELECT COUNT(tonnage) FROM table_name_4 WHERE date = "25 june 1943" </s>