rem: function setRunInterval(radio) { runInterval = radio.value; 
add: function setRunInterval() { runInterval = this.value; 
context: function setRunInterval(radio) {    runInterval = radio.value;    var stepButton = document.getElementById("stepNext");    if (runInterval == -1) {        stepButton.style.visibility = '';    }    else {        stepButton.style.visibility = 'hidden';    }}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/cd39a743a89031815105f82085130d1c1edc9115/selenium-fitrunner.js/buggy/javascript/selenium-fitrunner.js