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:"
### Context: CREATE TABLE table_name_80 (name VARCHAR, district VARCHAR) ### Question: What is the name for district total:? ### Answer: SELECT name FROM table_name_80 WHERE district = "total:"