context:     function replaceNonPrintables(ch)    {        var rv = ch.charCodeAt().toString(16);        if (rv.length == 1)            rv = "0" + rv;        else if (rv.length == 3)            rv = "u0" + rv;        else if (rv.length == 4)            rv = "u" + rv;              return "%" + rv;    };
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/4cd3ec76af2e3a9922c2d114bf4267b40b388ac2/utils.js/clean/extensions/irc/js/lib/utils.js