function einblenden (elementID)  { document.getElementById(elementID).style.visibility ="visible"; }
 function ausblenden (elementID)  { document.getElementById(elementID).style.visibility ="hidden";  }

 function ausblendenPopUp () 
 { document.getElementById('PopUpVerkauf').style.visibility ="hidden";
   document.getElementById('PopUpVermietung').style.visibility ="hidden";
 }

function SubmitSearchForm()
 {
  document.Suche.submit();
 }