rem: viewPicker.selectedItem = document.getElementsByAttribute("value", aValue)[0]; 
add: viewPicker.selectedItem = viewPicker.getElementsByAttribute("value", aValue)[0]; 
context: function ViewChangeByValue(aValue){  var viewPicker = document.getElementById('viewPicker');  viewPicker.selectedItem = document.getElementsByAttribute("value", aValue)[0];  viewChange(viewPicker);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d19d84c6e78f1c426bac9977bee03e3b8796ec87/msgViewPickerOverlay.js/buggy/mailnews/extensions/mailviews/resources/content/msgViewPickerOverlay.js