Context: CREATE TABLE table_1342013_9 (result VARCHAR, district VARCHAR)
Question: what's the result with dbeingtrict being florida 4
Answer: SELECT result FROM table_1342013_9 WHERE district = "Florida 4"