Table schema:
CREATE TABLE table_1342013_9 (result VARCHAR, district VARCHAR)

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