    getFrameKeys: function(frame, names)    {        var listValue = {value: null}, lengthValue = {value: 0};        frame.scope.getProperties(listValue, lengthValue);            for (var i = 0; i < lengthValue.value; ++i)        {            var prop = listValue.value[i];            var name = prop.name.getWrappedValue();            names.push(name);        }        return names;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/debugger.js/buggy/extension/content/firebug/debugger.js