var redir;
function doRedirect(){
    if(redir!=""){
        
        location.href = redir;
    }
}
function redirect(url){
    redir=url;
    window.setTimeout("doRedirect()", 4000);
}