function redirect( target )
{
    window.location.href = target;
}