&make_session($user,$dept,$sid);