add: list.selectedIndex = index + 1; 
context: function moveDown() {  var list = document.getElementById('selectList');	  var index = list.selectedIndex;  if (index != -1 &&      index != list.options.length - 1) {    var selectedOption = list.childNodes.item(index);    var optionAfter    = list.childNodes.item(index+1);    list.remove(index+1);    list.insertBefore(optionAfter, selectedOption);    enableButtons();    enableSave();  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a587a0acf6fea40ed0c64b0d50d1cb35f747afe4/customize.js/buggy/xpfe/components/sidebar/resources/customize.js