The art teacher mixed 12 ounces of yellow paint with 5 ounces of blue paint to make green. How many ounces of blue would be needed if you used 20 ounces of yellow ?