// JavaScript Document
<!--
function einblenden(div) {
  with(document.getElementById(div).style){
    if(display=="none"){
      display="block";
    }
    else{
      display="none";
    }
  }
}

 function aus(div){ 
 if(document.getElementById(div).style.display=='block') 
 document.getElementById(div).style.display='none'; 
} 



//-->