function einblenden(div) {
   with(document.getElementById(div).style){
    if(display=="none"){
     display="inline";
     }
     else{
      display="none";
     }
    }
   }