A university has 3,000 undergraduate students: 1,200 freshmen, 800 sophomores, 600 juniors, and 400 seniors. A researcher wants to conduct a stratified random sample of 300 students. How many seniors should be included in the sample?