A garden hose can fill a swimming pool in 7 days, and a larger hose can fill the pool in 4 days. How long will it take to fill the pool if both hoses are used?