一根绳子有多长