public string toString()
{
int count = 0;
string text = "";
foreach (Region region in AllRegions)
{
if (count != 0)
{
text += ",";
}
text += region.toString();
count++;
}
return text;
}