var browseView = panel.views.browse; 
            var changeTableFunction = function()            {                var browseView = panel.views.browse;                var index = browseView.tableSelectElement.selectedIndex;                if (index != -1)                    panel.currentTable = browseView.tableSelectElement.options[index].value;                else                    panel.currentTable = null;            };
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/cc88f9529656de4c98bb56849e3726c8f5e442e1/DatabasePanel.js/buggy/WebCore/page/inspector/DatabasePanel.js