Peter mixes 413 cups of orange juice, 213 cups of ginger ale, and 612 cups of strawberry lemonade to make some punch. What is the total number of cups of punch that peter makes?.