fileClicked(filesSelect.options[filesSelect.selectedIndex].value, false); loadFile(filesSelect.options[filesSelect.selectedIndex].value, true); 
 if (fileIndex === undefined) fileIndex = filesSelect.selectedIndex; loadFile(filesSelect.options[fileIndex].value, true); fileClicked(filesSelect.options[fileIndex].value, false); 
function switchFile(){    var filesSelect = document.getElementById("files");    fileClicked(filesSelect.options[filesSelect.selectedIndex].value, false);    loadFile(filesSelect.options[filesSelect.selectedIndex].value, true);}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/4380d29b4671e2af9a2676a030bf008a2723b3a2/debugger.js/buggy/WebKitTools/Drosera/debugger.js