private string db_provider_index_to_string() {
var str = dbProvider.Items[dbProvider.SelectedIndex].ToString();
Debug.Assert(str.Contains("(") && str.Contains(")"));
int start = str.IndexOf("(") + 1, end = str.IndexOf(")");
return str.Substring(start, end - start);
}