如图，E是正方形ABCD的边DC上一点，把△ADE绕点A顺时针旋转90°到△ABF的位置.若四边形AECF的面积为25，DE＝2，则AE的长为．