private string getFileNameToDump()
{
string filename = "AddrSetFile-" + DateTime.Now.ToString("yyyy-MM-dd") + "-" +
DateTime.Now.Hour.ToString();
int i = 0;
while (File.Exists(DumpDirectory + filename))
{
filename += i.ToString();
i++;
}
filename += ".dat";
return filename;
}