function init()
  {
  if(window.addEventListener)
    {
    AdjustDivWidth();
    window.addEventListener("resize", AdjustDivWidth, false);
    }
  else if(document.addEventListener && window.opera)
    {
    AdjustDivWidthForOpera7();
    document.addEventListener("resize", AdjustDivWidthForOpera7, false);
    };
  }

  function AdjustDivWidth()
  {
  var ScrollbarWidth = 13; var TableBorder = 1;
  if(navigator.userAgent && navigator.userAgent.indexOf("Gecko") != -1 && (navigator.userAgent.indexOf("Firefox/1.") != -1 || navigator.userAgent.indexOf("K-Meleon/1.") != -1))
    {ScrollbarWidth = 15; TableBorder = 2;}
  else if(navigator.userAgent && navigator.userAgent.indexOf("Gecko") != -1 && navigator.userAgent.indexOf("Firefox/") != -1)
    {ScrollbarWidth = 16;}
  else if(navigator.userAgent.indexOf("SeaMonkey/") != -1)
    {ScrollbarWidth = 9;}
  else if(navigator.userAgent && navigator.userAgent.indexOf("Opera/9.") != -1)
    {ScrollbarWidth = 13;};
  document.getElementById("idDivScrollingTBody").style.width = parseInt(document.defaultView.getComputedStyle(document.getElementById("idTableHeader"), null).getPropertyValue("width"), 10) + TableBorder + 2 + 2 + TableBorder + ScrollbarWidth + "px";
  /*
  ========================================================
  15 for Mozilla suite; 17 for FF 1.x and K-meleon 1.0+
  assuming that
  Start/Settings/Control Panel/Display/Appearance tab/Font size
  is Normal and here assuming that
  Advanced button/Item: Scrollbar/Size:
  has not been user-defined, then 17
  ========================================================
  */
  }

  function AdjustDivWidthForOpera7()
  {
  document.getElementById("idTableHeader").style.width = document.getElementById("idDivScrollingTBody").offsetWidth - 17 + "px";
  }