如图，DE为△ABC的中位线，点F在DE上，且∠AFB=90°.若AB=4，BC=7，则EF的长为