function trim(str)	{ return ltrim(rtrim(str)) }
function ltrim(str)	{ return str.replace(/^\s+/,'') }
function rtrim(str)	{ return str.replace(/\s+$/,'') }

function installSearchEngine()
{
	if (window.external && ('AddSearchProvider' in window.external))
	{
		window.external.AddSearchProvider('http://www.edgelib.com/opensearch.xml');
	}
}

function download_agree()
{
	document.cookie='download_eval_agree=true';
	location.href = 'index.php?node=download_eval_landing';
}