add: return; 
context: function checkMailPrefs() {  var mailAuto = document.getElementById("mailAuto");  var mailPick = document.getElementById("mailPick");  if(mailAuto.getAttribute("checked")) {    mailPick.removeAttribute("disabled");  }  else {    mailPick.setAttribute("disabled","true");  }}
meta: 1647	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1647/4946cb14fa2ff5cedc441d0b82cd8d0c8a909aac/tagzillaBirdPrefs.js/buggy/src/tagzilla/content/pref/tagzillaBirdPrefs.js