Peter mixes 4 1/2 cups of orange juice, 1 1/3 cups of ginger ale , and 6 1/3 cups of strawberry lemonade to make some punch. What is the total number of cups of punch that Peter makes?