rem: dump("radio value " + radio.checked + "\n"); 
context: function OkButtonCallback() {	nntpServer.maxArticles = numberElement.value;	nntpServer.markOldRead = markreadElement.checked;    var radio = document.getElementById("all");    if (radio) {        dump("radio value " + radio.checked + "\n");        if (radio.checked) {            param.SetInt(1, 1); /* the user selected download all */        }        else {            param.SetInt(1, 0); /* the user did not select download all */        }    }    param.SetInt(0, 1); /* user hit OK */	return true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/7d2a3ebd7945d6f378bac9b49c208795ae9e76f1/downloadheaders.js/buggy/mailnews/news/resources/content/downloadheaders.js