How long is a string reaching from the top of a 13-ft pole to a point on the 3 points ground that is 7 ft from the base of the pole?