var check=function(c){var a=document.getElementById("options").getElementsByTagName("input"),i;for(i=0;i<a.length-1;i++)a.item(i).checked=c},toggle=function(a,b){element=document.getElementById(a);element.style.display=(!element.style.display&&b?b:(element.style.display=="none"?"block":"none"))};