function fixScroll(div) {
        var s = div.scrollTop;
        div.childNodes[1].focus();
        div.scrollTop = s;
      }