如图，在矩形ABCD中，AB=8．将矩形的一角折叠，使点B落在边AD上的B′点处，若AB′=4，则折痕EF的长度为             ．