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