// JScript File

function submitSearch(e,url)
{ 
	var keynum; 
	// 13 is enter, 1 is mouse 
	if(window.event) // IE
  {
		keynum = e.keyCode;
  }
	else if(e.which) // Netscape/Firefox/Opera
  {
		keynum = e.which;
  }
   
  
  if ( keynum == 13 || keynum == 1 || keynum == 0 )
  { 
		var searchValues = document.getElementById('suche').value;
  
  	if("Begriff/ISIN/WKN" != searchValues && "Query/ISIN/WKN" != searchValues )
		{
			url += "?SearchTerm=" + encodeURI(searchValues);
		}
		 
		window.location.href = url;
		document.href = url;
		return false;
  }
  
  return true;
}