A pitcher of orange juice is made from a can of frozen orange juice by mixing 3 ounces of frozen juice with 5 ounces of water. How many ounces of frozen juice are needed if 20 ounces of water is used