function einblenden(layer,trans)
      {
       strAppVersion = navigator.appVersion;
       strPattern    = /MSIE\s*(\d.\d+)/;
       strPattern.exec(strAppVersion);
       if (RegExp.$1 >= 5.5 && navigator.userAgent.indexOf("Opera") == -1)
         {
          document.getElementById(layer).filters[0].Apply();
          document.getElementById(layer).style.visibility="visible";
          document.getElementById(layer).filters.revealTrans.transition=trans;  // vertikaler Zoom nach aussen    
          document.getElementById(layer).filters[0].Play();    
         }
       else
         {
          document.getElementById(layer).style.visibility="visible";
         }
      }