179 function Encode(uri, unescape) {  argument
180   var uriLength = uri.length;
187     var cc1 = uri.charCodeAt(k);
197         var cc2 = uri.charCodeAt(k);
208 function Decode(uri, reserved) {  argument
209   var uriLength = uri.length;
216     var ch = uri.charAt(k);
219       var cc = URIHexCharsToCharCode(uri.charCodeAt(++k), uri.charCodeAt(++k));
228           if (uri.charAt(++k) != '%') throw new $URIError("URI malformed");
229           octets[i] = URIHexCharsToCharCode(uri.charCodeAt(++k),
230                                             uri.charCodeAt(++k));
236           result[index++] = uri.charCodeAt(k - 1);
237           result[index++] = uri.charCodeAt(k);
252 function URIDecode(uri) {  argument
271   var string = ToString(uri);
298 function URIEncode(uri) {  argument
321   var string = ToString(uri);