Problem #3

[This problem is worth 5 points.]

ABCD is a square with side length 13. E and F are points exterior to the square, with AE = CF = 5 and BE = DF = 12. Find EF.