CREATE TABLE table_name_80 (name VARCHAR2, district VARCHAR2)

What is the name for district total:?
SELECT name FROM table_name_80 WHERE district = "total:"
SELECT "name" FROM "table_name_80" WHERE "district" = "total:"