In a group of people, each person's favorite color is either red, blue, yellow, or green. If 15 people's favorite color isn't red, 23 people's favorite color isn't blue, 20 people's favorite color isn't yellow, and 17 people's favorite color isn't green, how many total people are there?