如图，已知正方形ABCD的边长为3,E为CD边上一点，DE=1．以点A为中心，把△ADE顺时针旋转，得△ABF，连接EF，则EF的长等于         ．