Question 14In the diagram, $EF$ is a diameter of the circle and $ABCD$ is a square with points $B$ and $C$ on $EF$ and points $A$ and $D$ on the circle. If $AB=17\sqrt5$, find the length of $EF$.