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