public List<string> histories() { List<string> t = new List<string>(); foreach (string s in data_.Keys) t.Add(s); return t; }