function showDropDown(a){if(a){document.getElementById(a).style.visibility="visible";document.getElementById(a+"_button").style.borderColor="#333333";document.getElementById(a+"_button").style.backgroundColor="#eeeeee"}}function hideDropDown(a){if(a){document.getElementById(a).style.visibility="hidden";document.getElementById(a+"_button").style.borderColor="#ffffff";document.getElementById(a+"_button").style.backgroundColor="";document.getElementById(a+"_button").style.textDecoration="none"}}function checkBoxClicked(c,b,a){document.getElementById(a).checked=false;document.getElementById(b).checked=true;location.replace(c)};