4. John randomly selected 25% of the 7th graders in his school and asked them their favorite season. Of the students surveyed, 50 chose summer. Based on the data, what number of 7th graders in her whole school who would chose summer as their favorite?