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