如图，正方形ABCD中，对角线AC与BD相交于O点，作分别交AB、BC于点E、F ， 若AE＝4，CF＝3，则EF的长是多少？