Schema: CREATE TABLE table_name_80 (name VARCHAR, district VARCHAR)
Question: What is the name for district total:?
SQL: SELECT name FROM table_name_80 WHERE district = "total:"