如图，在正方形ABCD中，AB=5，点M在边CD上，且DM=1，△AEM与△ADM关于AM所在的直线对称，将△ADM按顺时针方向绕点A旋转90°得到AABF，连接EF，则线段EF的长为．