function do_standard_search(url)
{
	var el_s = document.getElementById('ss_param');
	
	el_s = el_s.value;
	document.location.href = url+'&ss_param='+el_s;
	
	return true;
}

function submitEnter(cmd,e,url)
{
	var keycode;
	if (window.event) 
		keycode = window.event.keyCode;
	else if (e) 
		keycode = e.which;
	else 
		return true;
	
	if (keycode == 13)
	{
  	do_standard_search(url);
  	return false;
	}
  else
		return true;
}