public string ToJson()
{
string result = "{";
result += "doc_id:" + this.id + ",version:[";
IEnumerator enumerator = GetEnumerator();
while (enumerator.MoveNext())
{
string version = (string) enumerator.Current;
result += version;
}
result += "]}";
return result;
}