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); } 
function CacheObj(node) {    var that = this;    /* Gumdrop Image URL */    that.gumdrop_url    = 'chrome://itsalltext/locale/gumdrop.png';    /* Gumdrop Image Width */    that.gumdrop_width  = ItsAllText.localeString('gumdrop.width');     /* Gumdrop Image Height */    that.gumdrop_height = ItsAllText.localeString('gumdrop.height');    that.timestamp = 0;    that.size = 0;    that.node = node;    that.button = null;    that.initial_color = 'transparent';    that._is_watching = false;         that.node_id = that.getNodeIdentifier(node);    var doc = node.ownerDocument;    /* This is a unique identifier for use on the web page to prevent the     * web page from knowing what it's connected to.     * @type String     */    that.uid = that.hashString([ doc.location.toString(),                                 Math.random(),                                 that.node_id ].join(':'));    // @todo [security] Add a serial to the uid hash.    node.setAttribute(ItsAllText.MYSTRING+'_UID', that.uid);    ItsAllText.tracker[that.uid] = that;        /* Figure out where we will store the file.  While the filename can     * change, the directory that the file is stored in should not!     */    var host = window.escape(doc.location.hostname);    var hash = that.hashString([ doc.location.protocol,                                 doc.location.port,                                 doc.location.search,                                 doc.location.pathname,                                 doc.location.hash,                                 that.node_id ].join(':'));    that.base_filename = [host, hash.slice(0,10)].join('.');    /* The current extension.     * @type String     */    that.extension = null;    /* Stores an nsILocalFile pointing to the current filename.     * @type nsILocalFile     */    that.file = null;    /* Set the default extension and create the nsIFile object. */    var extension = node.getAttribute('itsalltext-extension');    if (typeof(extension) != 'string' || !extension.match(/^[.a-z0-9]+$/i)) {        extension = '.txt';    }    that.setExtension(extension);    /**     * A callback for when the textarea/textbox or button has      * the mouse waved over it.     * @param {Event} event The event object.     */    that.mouseover = function(event) {        var style = that.button.style;        style.opacity = '0.7';        ItsAllText.refreshTextarea(that.node);    };    /**     * A callback for when the textarea/textbox or button has      * the mouse waved over it and the moved off.     * @param {Event} event The event object.     */    that.mouseout = function(event) {        var style = that.button.style;        style.opacity = '0.1';    };}
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/32d58227bcee00a744838d77c372e9158f343eaf/cacheobj.js/clean/chrome/content/cacheobj.js