public void remove_detail(Detail d) { h += d.l; map[d.i] -= 1; }
public void add_detail(Detail d) { list.Add(d); }