<question>: what's the result with dbeingtrict being florida 4 <context>: CREATE TABLE table_1342013_9 (result VARCHAR, district VARCHAR)
SELECT result FROM table_1342013_9 WHERE district = "Florida 4"