 document.getElementById(currentFile).className = "passive"; 
if (currentFile != -1) document.getElementById(currentFile).className = "passive"; 
function fileClicked(fileId, shouldLoadFile){    if (shouldLoadFile === undefined) shouldLoadFile = true;        document.getElementById(currentFile).className = "passive";    document.getElementById(fileId).className = "active";    if (shouldLoadFile)         loadFile(fileId, false);}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/4380d29b4671e2af9a2676a030bf008a2723b3a2/debugger.js/buggy/WebKitTools/Drosera/debugger.js