var known_but_denied;
if (known_but_denied){
    var known_but_denied_url;
    var delim = "?";
    if (known_but_denied_url.indexOf('?') > 0 )
    {
        delim = ";";
    }
    document.location= known_but_denied_url + delim + "goto=" + escape(document.location);
}
else if(! permitted)
{
    var login_url;
    var delim = "?";
    if (login_url.indexOf('?') > 0 )
    {
        delim = ";";
    }
    document.location= login_url +  delim + "goto=" + escape(document.location);
}