184   function Encode(uri, unescape) {  argument
185     var uriLength = uri.length;
189       var cc1 = uri.charCodeAt(k);
199           var cc2 = uri.charCodeAt(k);
214   function Decode(uri, reserved) {  argument
215     var uriLength = uri.length;
222       var code = uri.charCodeAt(k);
225         var cc = URIHexCharsToCharCode(uri.charCodeAt(k+1), uri.charCodeAt(k+2));
229           %_OneByteSeqStringSetChar(index++, uri.charCodeAt(k+1), one_byte);
230           %_OneByteSeqStringSetChar(index++, uri.charCodeAt(k+2), one_byte);
249       var code = uri.charCodeAt(k);
252         var cc = URIHexCharsToCharCode(uri.charCodeAt(++k), uri.charCodeAt(++k));
261             if (uri.charAt(++k) != '%') throw new $URIError("URI malformed");
262             octets[i] = URIHexCharsToCharCode(uri.charCodeAt(++k),
263                                               uri.charCodeAt(++k));
268           %_TwoByteSeqStringSetChar(index++, uri.charCodeAt(k - 1), two_byte);
269           %_TwoByteSeqStringSetChar(index++, uri.charCodeAt(k), two_byte);
298   function URIDecode(uri) {  argument
317     var string = ToString(uri);
329   function URIEncode(uri) {  argument
351     var string = ToString(uri);