+ function showExpert(a)
+ {
+ b=document.getElementsByClassName("expert");
+ for(i=0;b.length>i;i++)
+ {
+ if(!a) {b[i].setAttribute("class","expert experthidden"); }
+ else {b[i].setAttribute("class","expert");}
+ }
+ b=document.getElementsByClassName("expertoff");
+ for(i=0;b.length>i;i++)
+ {
+ b[i].setAttribute("class","");
+ }
+
+ }
+ function init(){
+ initMenu();
+ showExpert(false);
+ var expert = document.getElementById("expertbox");
+ if(expert !== null) {
+ expert.onchange = (function(expert){return function(){showExpert(expert.checked)}})(expert);
+ }
+ }