function redirectorpage(pk){
    var dest = 'index.php?page='+pk;
    if (window.location.replace)
        window.location.replace(dest)
    else
        window.location=dest
}

function redirectorpage2(pk){
    var dest = 'index2.php?page='+pk;
    if (window.location.replace)
        window.location.replace(dest)
    else
        window.location=dest
}

