如图,三角形ABC中,AB=AC,角BAC=90度,D为BC中点,DE垂直于DF,若BE=12,CF=5,求EF