// noch nicht verwendbar
  function isIE5() {
    if(document.all && document.getElementById && !isIE6() && !(navigator.userAgent.indexOf("Mac") != -1))
      return true;
    return false;
  }

  function isIE6() {
    if(navigator.appVersion.indexOf("MSIE 6") != -1)
      return true;
    return false;
  }

  function showSearchResults() {
  /*  if (!isIE5() && !isIE6())
      return; */

    var xmlhttp;
    var rep;
    /*@cc_on @*/
    /*@if (@_jscript_version >= 5)

      try {
        xmlhttp=new ActiveXObject("Msxml2.XMLHTTP")
      } catch (e) {
        try {
          xmlhttp=new ActiveXObject("Microsoft.XMLHTTP")
        } catch (E) {
          xmlhttp=false
        }
      }
      @else
        xmlhttp=false
      @end @*/
    if (!xmlhttp) {
      try {
        xmlhttp = new XMLHttpRequest();
      } catch (e) {
        xmlhttp=false
      }
    }
    
    request="/bplan_suche_answer.php?" +  
      "antag=" + document.rueck.antag.value + "&" +
      "anmonatjahr=" + document.rueck.anmonatjahr.value + "&" +       
      "abtag=" + document.rueck.abtag.value + "&" +
      "abmonatjahr=" + document.rueck.abmonatjahr.value + "&" + 
      "reisedauer=" + document.rueck.reisedauer.value + "&" +
      "hotnr=" + document.rueck.hotnr.value;
    
    xmlhttp.onreadystatechange=function() {
      if (xmlhttp.readyState==4) {
        try {
          rep=xmlhttp.responseText;         
          if(rep.substr(0,1)=='0') {
            document.getElementById('ergebfehler').innerHTML = rep.substr(1);
            document.getElementById('ergebgut').innerHTML = '';
            document.getElementById('freisubmit').disabled=true;
            document.getElementById('freisubmit').className = "buttondisable";
          } else {
            document.getElementById('ergebfehler').innerHTML = '';
            document.getElementById('ergebgut').innerHTML = rep.substr(1);
            document.getElementById('freisubmit').disabled=false;
            document.getElementById('freisubmit').className = "button";
          }     
        } catch(e) {
        }
      }
    }
    xmlhttp.open("GET", request,true);
    xmlhttp.send(null);
  }