Two pipes can fill a tank with water in 15 and 12 hours respectively and a third pipe can empty it in 4 hours. If the three pipes be opened, the tank will be emptied in-