rem: var checkbox = document.getElementById("markread"); var numberFld = document.getElementById("number"); 
add: var checkbox = document.getElementById("markread"); var numberFld = document.getElementById("number"); 
context: function setupDownloadUI(enable) {  var checkbox = document.getElementById("markread");  var numberFld = document.getElementById("number");  if (enable) {    checkbox.removeAttribute("disabled");    numberFld.removeAttribute("disabled");  }  else {    checkbox.setAttribute("disabled", "true");    numberFld.setAttribute("disabled", "true");  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/a7a6aaec82021225369a825c4902d7f206319316/downloadheaders.js/clean/mailnews/news/resources/content/downloadheaders.js