static string HexEscape (char c) { return "%" + HexAlphabet[(c >> 4) & 0xF] + HexAlphabet[c & 0xF]; }