What is the name for district total:?
CREATE TABLE table_name_80 (name VARCHAR, district VARCHAR)
SELECT name FROM table_name_80 WHERE district = "total:"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_80 (name VARCHAR, district VARCHAR) Question: What is the name for district total:? [/INST] SELECT name FROM table_name_80 WHERE district = "total:" </s>