function execSearch()
{
	var cx  = "011052336042262439529%3Aabvlggl-ioo"; //011052336042262439529:abvlggl-ioo
	var cof = "FORID%3A9"; // FORID:9
	var ie  = "UTF-8";
	var q   = document.getElementById("search").value;
	var sa  = "Search";
	location.href = "/search.php?cx=" + cx + "&cof=" + cof + "&ie=" + ie + "&q=" + q + "&sa=" + sa;
}

function keyDown(ev)
{
	var keynum;

	if (window.event)
	{
		keynum = ev.keyCode;
	}
	else if (ev.which)
	{
		keynum = ev.which;
	}
	if (keynum == 13)
	{
		execSearch();
	}
}