如图所示，DE为△ABC的中位线，点F在DE上，且∠AFB＝90°，若AB＝5，BC＝8，则EF的长为    ▲   _．