var bGamer = false;

function search()
{
	if (bGamer) return;
	var jump    = document.getElementById("F").jump.value;
	var keyword = document.getElementById("F").search_query.value;
	var encodedkeyword = '';
	
	if (keyword.length)
	{
		encodedkeyword = encodeURIComponent(keyword);
		jump += encodedkeyword;
	}
		
	if (!bGamer)
	{
		bGamer = true;
		location.href= jump;
	}
	return false;
}