rem: dump("Charset Overlay menu item pressed: " + node.getAttribute('id') + "\n"); BrowserSetDefaultCharacterSet(node.getAttribute('id')); 
add: dump("Charset Overlay menu item pressed: " + charset + "\n"); BrowserSetDefaultCharacterSet(charset); 
context: function SetDefaultCharacterSet(node){	dump("Charset Overlay menu item pressed: " + node.getAttribute('id') + "\n");    BrowserSetDefaultCharacterSet(node.getAttribute('id'));}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9c5fb22a5c63286147af6a968bd90fd7cf9d213b/charsetOverlay.js/buggy/xpfe/global/resources/content/charsetOverlay.js