function redir(value)
{
	window.location.href = value;
}