function search()
  {
  	document.search_form.submit();
  }

  function submit_search(textfield,event)
  {
  	var keypress;

  	if(window.event)
  	{
  		keypress= window.event.keyCode;
  	}
  	else if(event)
  	{
  		keypress = event.which;
  	}
  	else
  	{
  		return true;
  	}

  	if(keypress == 13)
  	{
  		search();
  	}
  }