function do_width() {
  var res_elem = "dot_col";
  res_elem = document.getElementById(res_elem);

  if (window.innerWidth) {
    width = window.innerWidth - 980;
    if (width < 0) width = 20;
    res_elem.style.width = width +'px';
  }
  else if (document.body && document.body.offsetWidth) { /* IE */
    width = document.body.offsetWidth - 985;
    if (width < 0) width =15;
    res_elem.style.width = width +'px';
  }
  else {
    width = 960;
    return 0;
  }
}
function resize() {
  if (width != do_width())
    location.href = location.href;
}