public static string DecodeName(string name) {
StringBuilder buf = new StringBuilder();
int len = name.Length;
for (int k = 1; k < len; ++k) {
char c = name[k];
if (c == '#') {
c = (char)((PRTokeniser.GetHex(name[k + 1]) << 4) + PRTokeniser.GetHex(name[k + 2]));
k += 2;
}
buf.Append(c);
}
return buf.ToString();
}
}