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