某高校甲、乙、丙、丁四个专业分别有150、150、400、300名学生，为了解学生的就业倾向，用分层抽样的方法从该校这四个专业共抽取40名学生进行调查，应在丙专业抽取的学生人数为_____。