    var onload = function (event) {        /* Start watching the document, but force it. */        ItsAllText.monitor.watch(document, true);        /* Turn on all the buttons */        var nodes = document.getElementsByTagName('button');        for(var i=0; i < nodes.length; i++) {            var button = nodes[i];            if (button.className == "ItsAllTextEditButton") {                 button.style.display = '';            }        }    };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/73d2c9e10dccadb654bb1fb506bfa0ffdcdc219e/API.js/buggy/chrome/content/API.js