function key_down(Ereignis,which) {
  var key;
  	if(navigator.appName == "Netscape")
      key = Ereignis.which;
    else
      key = window.event.keyCode;
    if( key == 13 ) {
     
    if (which == 'standard') {
      doFulltextSearch(document.fulltext);
    } else {
     doFulltextSearchExtendedHRef(document.fulltext);
    }    
  }
}

function NS_KeyPress(event,which) {
	var key;
  key = event.which;
if (key == 13) {
  if (which == 'standard') {
    doFulltextSearch(document.fulltext);
  } else {
    doFulltextSearchExtendedHRef(document.fulltext);
  }
	}
}