用一根绳子测井深，把绳子折三折来测，井外余9米；把绳子折四折来测，井外余3米，井深多少米？