用绳子量井深,把绳子3折来量,井外余4尺;用绳子4折来量,井外余绳子1尺,绳子有多少尺?