CREATE TABLE table_1342013_9 (result VARCHAR2, district VARCHAR2)

what's the result with dbeingtrict being florida 4
SELECT result FROM table_1342013_9 WHERE district = "Florida 4"
SELECT "result" FROM "table_1342013_9" WHERE "Florida 4" = "district"