How many students are there in Tsinghua Campus School in Yanjin County?

There are about 4,000 students in Tsinghua Campus School in Yanjin County. According to relevant public information, Tsinghua Campus School in Yanjin County is a fully enclosed modern boarding school, which can accommodate 4,000 students. It claims to have hired a professional dietitian to prepare meals for students and a professional life teacher to take care of students' study, life and diet. Tuition and meals are 12600 yuan per person per year.