如图所示，直线a经过正方形ABCD的顶点A，分别过正方形的顶点B、D作BF⊥a于点F，DE⊥a于点E，若DE=8，BF=5，则EF的长为．