如图，半圆O的直径AB=8，半径OC⊥AB，D为弧AC上一点，DE⊥OC，DF⊥OA，垂足分别为E、F，求EF的长．

​