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