e.initEvent("change", true, true); 
e.initEvent("change", true, true); 
Utils.fireHtmlEvent = function(context, element, eventName) {    var doc = Utils.getDocument(context);    var e = doc.createEvent("HTMLEvents");	e.initEvent("change", true, true);    element.dispatchEvent(e);}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3d58fefd2379fe19ae5bc4540e46171c91481d00/utils.js/buggy/firefox/src/extension/components/utils.js