function showmnu(no)
{
 hiddall();
 Obj2=eval("document.getElementById('menutitel" + no +"').style");
 Obj2.display="none";
 Obj=eval("document.getElementById('menu" +no +"').style");
 Obj.display="block";
}

function hiddmnu(no)
{
 Obj=eval("document.getElementById('menu" + no +"').style");
 Obj.display="none";
 Obj2=eval("document.getElementById('menutitel" + no +"').style");
 Obj2.display="block";
}

function hiddall()
{

 document.getElementById('menu1').style.display="none";
 document.getElementById('menu2').style.display="none";
 document.getElementById('menu3').style.display="none";
 document.getElementById('menu4').style.display="none";
 document.getElementById('menu5').style.display="none";
 document.getElementById('menu6').style.display="none";
 document.getElementById('menu7').style.display="none";

 document.getElementById('menutitel1').style.display="none";
 document.getElementById('menutitel2').style.display="none";
 document.getElementById('menutitel3').style.display="none";
 document.getElementById('menutitel4').style.display="none";
 document.getElementById('menutitel5').style.display="none";
 document.getElementById('menutitel6').style.display="none";
 document.getElementById('menutitel7').style.display="none";

}

function hiddall2()
{
 document.getElementById('menutitel1').style.display="none";
 document.getElementById('menutitel2').style.display="none";
 document.getElementById('menutitel3').style.display="none";
 document.getElementById('menutitel4').style.display="none";
 document.getElementById('menutitel5').style.display="none";
 document.getElementById('menutitel6').style.display="none";
 document.getElementById('menutitel7').style.display="none";
}


function set_titel(no,text)
{
 Obj3=eval("document.getElementById('menutitel" + no +"')");
 if(text=="CO2 Programm")
  Obj3.innerHTML = "CO<sub>2</sub> Programm";
 else
 {
  if(text=="CO2 Program")
   Obj3.innerHTML = "CO<sub>2</sub> Program";
  else
   Obj3.innerHTML = text;
 }
 Obj3.style.display = "block";

 Obj=eval("document.getElementById('htitel" + no +"').style");
 Obj.backgroundColor="#002565";
 Obj.color="#ffffff";

}