如图，在正方形ABCD中，AD＝5，点E，F是正方形ABCD内的两点，且AE＝FC＝3，BE＝DF＝4，则EF的长为 ．