rem: ary[i] = unescape(ary[i]); 
add: ary[i] = toUnicode(unescape(ary[i]), PREF_CHARSET); 
context: function pm_s2a(string){    if (string.search(/\S/) == -1)        return [];        var ary = string.split(/\s*;\s*/);    for (var i = 0; i < ary.length; ++i)        ary[i] = unescape(ary[i]);    return ary;}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/055eceba10c4b488623e82bde1d9b5085573c401/pref-manager.js/buggy/js/lib/pref-manager.js