function checkProxyUrlsTextarea(b){var a=document.getElementById("proxy-urls-textarea");if(b.id=="proxy-all-urls-radio-btn"){a.disabled=true;a.className="disabled"}else{a.disabled=false;a.className=""}};