如图，在正方形ABCD中，E为DC边上的点，连接BE，将△BCE绕点C顺时针方向旋转90°，得到△DCF，连接EF，若∠BEC＝60°，BE＝4，则EF的长为.