rem: var charsetConverterManager = Components.classes["@mozilla.org/charset-converter-manager;1"] .getService(Components.interfaces.nsICharsetConverterManager2); var characterSet = charsetConverterManager.GetCharsetAtom(aCharset); getBrowser().documentCharsetInfo.forcedCharset = characterSet; 
add: appCore.SetForcedCharset(aCharset); 
context: function BrowserSetForcedCharacterSet(aCharset){  var charsetConverterManager = Components.classes["@mozilla.org/charset-converter-manager;1"]                                          .getService(Components.interfaces.nsICharsetConverterManager2);  var characterSet = charsetConverterManager.GetCharsetAtom(aCharset);  getBrowser().documentCharsetInfo.forcedCharset = characterSet;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/bdd8f9230e8f6f117de8a315a613294c9c0f1c2b/navigator.js/clean/xpfe/browser/resources/content/navigator.js