if(!doc.location) { return; } 
if(!doc.location) { return; } 
    that.refreshDocument = function(doc) {        if(!doc.location) { return; } // it's being cached, but not shown.        var is_chrome = (doc.location.protocol == 'chrome:' &&                         doc.location.href != that.README);        var nodes = doc.getElementsByTagName('textarea');        var i;        for(i=0; i < nodes.length; i++) {            that.refreshTextarea(nodes[i], is_chrome);        }        nodes = doc.getElementsByTagName('textbox');        for(i=0; i < nodes.length; i++) {            that.refreshTextarea(nodes[i], is_chrome);        }    };
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/430548e13258195d36f0a86d5a858dccf28ab93d/itsalltext.js/buggy/src/chrome/content/itsalltext.js