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