17. As shown in Figure 3, in trapezoid $A B C D$, $F$ is the midpoint of $C D$, $A F \perp A B$, $E$ is a point on side $B C$ such that $A E=B E$. If $A B=m$ (where $m$ is a constant), then the length of $E F$ is $\qquad$