Triangle D E F is shown with point P at the center. Lines are drawn from each point of the triangle to point P. Line segments are drawn from point P to the sides of the triangle to form right angles and line segments P H, P J, and P G. The length of F J is 3 x minus 1, the length of J E is x + 3, the length of H E is 4 y minus 3, and the length of H D is 9. Given that point P is equidistant from the vertices of ΔDEF, what is EF? EF =