string GeneratePrefix() { int temp = stack[top].prefixCount++ + 1; return "d" + top.ToString("d", CultureInfo.InvariantCulture) + "p" + temp.ToString("d", CultureInfo.InvariantCulture); }