var currentFunctionElement = sourcesFrame.contentDocument.getElementById(currentFunction); 
var currentFunctionElement = sourcesFrame.document.getElementById(currentFunction); 
function switchFunction(index, shouldResetPopup){    if (shouldResetPopup === undefined) shouldResetPopup = false;    var sourcesFrame = window.frames['sourcesFrame'];        if (shouldResetPopup || index == 0) {        document.getElementById("functionPopupButtonContent").innerHTML = '<span class="placeholder">&lt;No selected symbol&gt;</span>';        return;    }    var functionSelect = document.getElementById("functions");    var selectedFunction = functionSelect.childNodes[index];    var selection = sourcesFrame.getSelection();    var currentFunction = selectedFunction.value;         var currentFunctionElement = sourcesFrame.contentDocument.getElementById(currentFunction);        functionSelect.blur();    sourcesFrame.focus();    selection.setBaseAndExtent(currentFunctionElement, 0, currentFunctionElement, 1);    sourcesFrame.location.hash = "#function-" + selectedFunction.value;    document.getElementById("functionPopupButtonContent").innerText = selectedFunction.innerText;}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/3ff4fab89e15afa4981551fcdc60e8390a3907d3/debugger.js/clean/WebKitTools/Drosera/debugger.js