红光小学有女生142人,占全校总人数的40%。红光小学有男生多少人?