rem: var charset = window._content.document.characterSet; 
add: var charset = window.content.document.characterSet; 
context: function charsetLoadListener (event){    var charset = window._content.document.characterSet;    if (charset.length > 0 && (charset != gLastBrowserCharset)) {        gCharsetMenu.SetCurrentCharset(charset);        gPrevCharset = gLastBrowserCharset;        gLastBrowserCharset = charset;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d33896aeebf97b93e36bfe2d8dd1876235887440/charsetOverlay.js/clean/toolkit/content/charsetOverlay.js