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