Working together, 7 identical pumps can empty a pool in 6 hours. How many hours will it take 4 pumps to empty the same pool?