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