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

function ausblenden(div) {
  with(document.getElementById(div).style){
  display="none";
    }
}