某市2023年共有12000名公务员，其中55%为男性，其余为女性。女性公务员人数是多少？