E是正方形ABCD的边AD上的动点,BF=EF,AB=12.