context: function decodeColorCodes(msg){    // %[UBOCR] --> %%[UBOCR].    msg = msg.replace(/(%[UBOCR])/g, "%$1");    // Put %-codes back in place of special character codes.    msg = msg.replace(/\x1f/g, "%U");    msg = msg.replace(/\x02/g, "%B");    msg = msg.replace(/\x0f/g, "%O");    msg = msg.replace(/\x03/g, "%C");    msg = msg.replace(/\x16/g, "%R");        return msg;}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/0918cade427e1856c2e2bcfdefa8b4ea3e457b73/static.js/clean/xul/content/static.js