function redir(to)
{
	window.setTimeout(function() {document.location.href = to;}, 1800);
}

function de(o)
{
	if(o)
		o.parentNode.removeChild(o);
}

function ge(id)
{
	return document.getElementById(id);
}