function saveScrollPos(){
    document.getElementById("scrollPos").value =
             document.getElementById("divScroll").scrollTop;
}
function setScrollPos(){
    document.getElementById("divScroll").scrollTop =
             document.getElementById("scrollPos").value;
}