千人単位だから、800人でも900人でも千人になるのでは?
きっちり千人ということはないのではないのでしょうか?