如图，E是正方形ABCD内一点，将△ABE绕点B顺时针旋转与△CBF重合，若BE= ， 则EF＝．