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: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/fb964683f6b8a8b9685278ec658185a696675c5d/selenium-fitrunner.js/clean/javascript/selenium-fitrunner.js