function checkThemesState() {
elements=document.getElementsByName('themes:list');
for(var i = 0; i < elements.length; ++i) {
    if (elements[i].disabled==true) {
        elements[i].disabled=false;
    }
    else {
        elements[i].disabled=true;
    }
}
}