已知∠AOB=60°，OC是∠AOB的平分线，点D为OC上一点，过D作直线DE⊥OA，垂足为点E，且直线DE交OB于点F，如图所示，若DE=4，则DF=.