var show;
var hide;
if (document.getElementById){//Definition der Funktionen für Browser mit W3C-DOM-Unterstützung
  show=function(id){
    document.getElementById(id).style.visibility="visible";
  };
  hide=function(id){
    document.getElementById(id).style.visibility="hidden";
  };
} else {//Dummyfunktion für uralte Browser
  show=function(id){};
  hide=function(id){};
}