如图，正方形ABCD的边长为8,E、F分别为BC、CD边上的点，且tan∠EAF=，FG∥BC交AE于点G，若FG=5，则EF的长为