红绳比绿绳短8分之7米,绿绳比红绳长4分之一,绿绳长多少米?