/* Mouse-Over-Effekt fuer Berlin-Imagemap */

ver = navigator.appVersion; agent = navigator.userAgent;
w3c = (!document.all && document.getElementById)?1:0;

ie4 = (document.all && !w3c)?1:0;
ie5 = (ver.indexOf("MSIE 5")>-1 && w3c)?1:0;
ie6 = (ver.indexOf("MSIE 6")>-1 && w3c)?1:0;

nn = document.layers?1:0;
ie = ie4 || ie5 || ie6;
nn4 = (document.layers && !w3c)?1:0;
nn6 = (w3c && parseInt(ver) >= 5) ?1:0;
mac = agent.indexOf("Mac")>-1;
opera = agent.indexOf("Opera")>-1;

ie = (ie4 || ie5 || ie6)?1:0;
nn = nn4;

var alt = "text0";

function zeig(neu) {
 if (nn) {
  document.layers[alt].visibility = "hidden";
  document.layers[neu].visibility = "visible";
 }
 if (ie) {
  document.all.tags("div")[alt].style.visibility = "hidden";
  document.all.tags("div")[neu].style.visibility = "visible";
 }
 if (w3c) {
  document.getElementById(alt).style.visibility = "hidden";
  document.getElementById(neu).style.visibility = "visible";
 }
 alt = neu;
 return false;
}

function ausblenden() {
 if (nn) {document.layers[alt].visibility = "hidden";}
 if (ie) {document.all.tags("div")[alt].style.visibility = "hidden";}
 if (w3c) {document.getElementById(alt).style.visibility = "hidden";}
 return false;
}