}); }  
}); }  
function getRequestHeaders(spy){    var headers = [];    if (spy.request.channel instanceof nsIHttpChannel)    {        var http = QI(spy.request.channel, nsIHttpChannel);        http.visitRequestHeaders({            visitHeader: function(name, value)            {                headers.push({name: name, value: value});            }        });                }            return headers;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/spy.js/buggy/extension/content/firebug/spy.js