add:    if (httpPort.value == "0") httpPort.setAttribute("value", "");    if (radiogroup.value == 3) radiogroup.selectedIndex = 0; 
context: function Startup(){  DoEnabling();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/23d7b616b9c12648f1b6bb5aac4f43761c2f0fcf/pref-proxies.js/clean/suite/common/pref/pref-proxies.js