正方形ABCD对角线AC,BD交与O,E为BC中点DE交AC与F,DE长为12,求EF长