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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9667b85f0dba63acf34531479c34a02c1d6c38e2/msgViewPickerOverlay.js/buggy/mailnews/extensions/mailviews/resources/content/msgViewPickerOverlay.js