function redirect(url, time)
	{
	// if redirect directly
	if (time==0)
		{
		window.location.href=url;
		}
	// else, call this function again after time elapsed
	else
		{
		window.setTimeout("redirect('"+url+"', 0)", time);
		}
	}