如图,将AB=4,BC=8的矩形纸片ABCD折叠,使C点与A点重合,则折痕EF的长是