官方数据是4000多,但是分布在三个校区里面了。每个校区都不怎么大