var style = that.button.style; style.opacity = '0.7'; ItsAllText.refreshTextarea(that.node); 
var style = that.button?that.button.style:null; if (style) { style.opacity = '0.7'; ItsAllText.refreshTextarea(that.node); } 
    that.mouseover = function(event) {        var style = that.button.style;        style.opacity = '0.7';        ItsAllText.refreshTextarea(that.node);    };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/32d58227bcee00a744838d77c372e9158f343eaf/cacheobj.js/clean/chrome/content/cacheobj.js