已知E,F分别是正方形ABCD的边BC,CD上的一点,AM⊥EF,垂足为M,AM=AB.若BE=3,DF=4,则EF=