function redirect(url)
{
    document.location = url;
    return true;
}