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