A pool can be filled by one particular pipe in 10 hours, whereas a different pipe requires 6 hours to fill the same pool. How long would it take to fill the pool with both pipes turned on?