某单位共职工200人，其中不超过45岁的有120人，超过45岁的有80人．为了调查职工的健康状况，用分层抽样的方法从全体职工中抽取容量为25的样本，应抽取超过45岁的职工________人．