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