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 (auswertena(str)=="nichtgefunden") 
  		
  			{};
}

if (window.Event)
  document.captureEvents(Event.MOUSEUP);
  document.onmouseup = display;