function redirect(redirect_url)
	{
		window.location = redirect_url;
	}