var doc = new NetDocument(win); 
    getRequestDocument: function(win)    {        if (win)        {            var index = this.windows.indexOf(win);            if (index == -1)            {                var doc = new NetDocument(win);                var doc = new NetDocument(win);  // XXXjjb arg ignored                if (win.parent != win)                    doc.parent = this.getRequestDocument(win.parent);                doc.index = this.documents.length;                doc.level = getFrameLevel(win);                this.documents.push(doc);                this.windows.push(win);                return doc;            }            else                return this.documents[index];        }        else            return this.documents[0];    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/91c85d67f35f3a43daac768b43034ca0a8276eee/net.js/buggy/extension/content/firebug/net.js