rem: var menuitem = document.getElementById(id); if (menuitem) { menuitem.setAttribute("checked", value); } 
add: var menuitem = document.getElementById(id); if (menuitem) menuitem.setAttribute("checked", value); 
context: function setSortByMenuItemCheckState(id, value){    var menuitem = document.getElementById(id);    if (menuitem) {      menuitem.setAttribute("checked", value);    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5313b0c00e70e0e03f62ec968df8ef1abd61da1b/mailWindowOverlay.js/buggy/mail/base/content/mailWindowOverlay.js