Water is pouring into a tank at a constant rate. when the tank is full, 10 pumps of equal capacity empty the tank in 12 hrs, while 15 pumps of the same capacity empty the tank in 6 hrs. The time which 25 pumps of the same capacity take to empty the tank, if the tank in initially full, will be :