let get_project_num p = p.num