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