function ticket(nr)
  {
  var version = navigator.appVersion;
  if (version.indexOf("MSIE 6") != -1 || version.indexOf("MSIE 5") != -1)
     {
     var Ziel = "ticket.php?nr="+nr;
     window.location.href = Ziel;
     }
  else
     {
     xajax_ticket(nr);
     }
  }