A company makes a beverage that must have 12% real-juice content. How many gallons of beverage with 9% real-juice content must be mixed with 3000 gallons of beverage with 15% real-juice content to achieve the desired 12% real-juice content?