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