如图，在Rt△ABC中，∠BAC＝90°，AB＝AC ， 点D为BC上一点，连接AD ． 过点B作BE⊥AD于点E ， 过点C作CF⊥AD交AD的延长线于点F ． 若BE＝4，CF＝1，则EF的长度为．