A farmer has 100 gallons of 70% pure disinfectant. He wishes to mix it with the disinfectant which is 90% pure to obtain 75% pure disinfectant. How much of the 90% disinfectant must he use?