function blurgadgets()
{
	blurgadget('a');
	blurgadget('button');
}

function blurgadget(name)
{
	gadgets = document.getElementsByTagName(name);
	for(i = 0; i < gadgets.length; i++)
	{
		gadgets[i].onfocus = new Function('this.blur()');
	}
}

function redirect(url)
{
	top.location.href = url;
}

function ajax(url, dest)
{
	var request = new XMLHttpRequest();
	request.open('post', url, true);
	request.send(null);
	request.onreadystatechange = function()
	{
		if (request.readyState == 4 && request.status == 200)
		{
			document.getElementById(dest).innerHTML = request.responseText;
		}
	}
}