梯形的在矩形ABCD中,AB=5,BC=12,将矩形沿EC折叠后,使点D恰好落在对角线AC上的点F处,求EF的长!