function recoverPosition(p){
    document.documentElement.scrollTop=p;
    document.body.scrollTop=p;
}

function savePosition(scrollTopElm){
    if (document.documentElement && document.documentElement.scrollTop > 0) {
        scrollTopElm.value=document.documentElement.scrollTop;
    } else {
        scrollTopElm.value=document.body.scrollTop;
    }
}

function savePositionAndSubmit(f){
    savePosition(f.scrollTop);
    f.submit();
}

function savePositionMove(f, pos) {
    f.pos.value = pos;
    savePositionAndSubmit(f);
}