function doResize() {
var header = document.getElementById('divBanner');
var leftmenu = document.getElementById('divLeftmenu');
var sep = document.getElementById('divSep');
var barmenu = document.getElementById('divBarmenu');
var ifrm = document.getElementById('ifrmMain'); // width
var width_left = 0;
if (leftmenu.style.display != 'none')
width_left = VCommonStatic.getElementWidth(leftmenu);
var width_sep = VCommonStatic.getElementWidth(sep);
var w = document.documentElement.clientWidth - width_left - width_sep;
if (w < 10)
w = 10; // height
var height_header = VCommonStatic.getElementHeight(header);
var height_barmenu = VCommonStatic.getElementHeight(barmenu);
var height_body = window.innerHeight
|| document.documentElement.clientHeight;
var h1 = height_body - height_header;
if (h1 < 0)
h1 = 0;
var h2 = height_body - height_header - height_barmenu;
if (h2 < 0)
h2 = 0; // check
var ww = VCommonStatic.getElementWidth(ifrm);
var hh = VCommonStatic.getElementHeight(ifrm);
if (ww == w && hh == h2)
return; // set
ifrm.style.width = w + 'px';
leftmenu.style.height = sep.style.height = h1 + 'px';
ifrm.style.height = h2 + 'px';
}