function doSearch()
{
  var el = document.getElementById("SEARCHTXT");
  if (el!=null) if (el.value != null) {
    if (el.value != "") window.top.location = "/search.html?SEARCH="+el.value;
  }
  return false;
}

function keydown(e) {
  if (e==null) return;
  try 
  {
    var keyCode = e.keyCode;
  }
  catch(e) 
  {
    alert(e.message);
  }
  if (keyCode==null) keyCode=e.which;
  if (keyCode==13) {
    try 
    {
	    if (e.cancelBubble!=null) e.cancelBubble=true;
	    if (e.returnValue!=null) e.returnValue=false;
	    if (e.keyCode!=null) e.keyCode=0;
	    if (e.which!=null) e.which=0;
    }
    catch(e)
    {
    }
    doSearch();

    return false;
  };
}