如图，在矩形ABCD中，AB＝1，BC＝7，将矩形ABCD绕点C逆时针旋转90°得到矩形A′B′CD′，点E、F分别是BD、B′D′的中点，则EF的长度为cm．