function safe_refresh() {
        if ( document.body.scrollHeight > 0 ) {
                document.location.replace( document.location.href.replace(/#.*/, '') + '#'+(document.body.scrollHeight-document.body.scrollTop) );
        }
        document.location.reload();
}
function restore_pos() {
        setTimeout( 'safe_refresh();', 120000 );
        var pos = document.location.hash.replace(/#/, '');
        if ( pos != null && pos > 0 ) {
                document.body.scrollTop = document.body.scrollHeight - pos;
        }
}


