var menu = document.getElementById('testlist'); menu.selectedIndex = litmus.currentTestCaseIndex; litmus.getTestcase(menu.selectedItem.value, litmus.populateTestcase); 
  litmus.getTestcase($("testlist").selectedItem.value, litmus.populateTestcase); 
    selectCurrentTestCase : function() {        var menu = document.getElementById('testlist');        menu.selectedIndex = litmus.currentTestCaseIndex;        litmus.getTestcase(menu.selectedItem.value, litmus.populateTestcase);    },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/5d6604be3571a59b8d095088cafb0f2ca4d3a890/litmus.js/clean/testing/extensions/community/chrome/content/litmus.js