function display() {
  
    if (document.getSelection) {
      var str = document.getSelection();
    } else if (document.selection && document.selection.createRange) {
      var range = document.selection.createRange();
      var str = range.text;
    } else {
      alert("Diese Funktion (dynamic text selection) wird leider nicht von ihrem Browser unterstützt");
      var str = " ";
    }
    if (auswertenc(str)=="nichtgefunden") 
    		if (auswertenb(str)=="nichtgefunden")
    			if (auswertena(str)=="nichtgefunden")
    				
    			{};
  }
  if (window.Event)
    document.captureEvents(Event.MOUSEUP);
    document.onmouseup = display;