let get_team_num t = t.num