// JavaScript Document
function getID(id)
{
	return document.getElementById(id);
}
function searchaction()
{
	$lang = getID("search_btn").name;
	$text = getID("search_text").value;
	window.location.href = ("search.php?lang="+$lang+"&cat=8&text="+$text);
}

function enteraction(e)
{
	if (e.keyCode == 13)
	{
		searchaction();
	}
}