var m_dvTopPanel		= null;
var m_dvBottomPanel	= null;







function page_onload(){

	m_dvTopPanel		= document.getElementById("dvTopPanel");
	m_dvBottomPanel	= document.getElementById("dvBottomPanel");
	
	initPanels();
	menubar_setPageHeight();
}

function initPanels(){

// recalculate some dimension for MSIE not in strict DOCTYPE
	if(window.ActiveXObject && document.compatMode == "BackCompat"){
	
	
		if(m_dvTopPanel != null){
		
		// adjust topPanel height
			var topPadding	= parseInt(m_dvTopPanel.currentStyle.paddingTop);
			var bottomPadding	= parseInt(m_dvTopPanel.currentStyle.paddingBottom);
			var topBorder		= parseInt(m_dvTopPanel.currentStyle.borderTopWidth);
			var bottomBorder	= parseInt(m_dvTopPanel.currentStyle.borderBottomWidth);
			var height		= parseInt(m_dvTopPanel.currentStyle.height);
			var total		= topPadding + bottomPadding + topBorder + bottomBorder + height;
			m_dvTopPanel.style.height	= total+"px";
			
		// adjust topPanel width
			var leftPadding	= parseInt(m_dvTopPanel.currentStyle.paddingLeft);
			var rightPadding	= parseInt(m_dvTopPanel.currentStyle.paddingRight);
			var leftBorder	= parseInt(m_dvTopPanel.currentStyle.borderLeftWidth);
			var rightBorder	= parseInt(m_dvTopPanel.currentStyle.borderRightWidth);
			var width		= parseInt(m_dvTopPanel.currentStyle.width);
			var total		= leftPadding + rightPadding + leftBorder + rightBorder + width;
			m_dvTopPanel.style.width	= total+"px";
		}
		
		if(m_dvBottomPanel != null){
		
		// adjust bottom panel height
			var topPadding	= parseInt(m_dvBottomPanel.currentStyle.paddingTop);
			var bottomPadding	= parseInt(m_dvBottomPanel.currentStyle.paddingBottom);
			var topBorder		= parseInt(m_dvBottomPanel.currentStyle.borderTopWidth);
			var bottomBorder	= parseInt(m_dvBottomPanel.currentStyle.borderBottomWidth);
			var height		= parseInt(m_dvBottomPanel.currentStyle.height);
			var total		= topPadding + bottomPadding + topBorder + bottomBorder + height;
			m_dvBottomPanel.style.height	= total+"px";
			
		// adjust topPanel width
			var leftPadding	= parseInt(m_dvBottomPanel.currentStyle.paddingLeft);
			var rightPadding	= parseInt(m_dvBottomPanel.currentStyle.paddingRight);
			var leftBorder	= parseInt(m_dvBottomPanel.currentStyle.borderLeftWidth);
			var rightBorder	= parseInt(m_dvBottomPanel.currentStyle.borderRightWidth);
			var width		= parseInt(m_dvBottomPanel.currentStyle.width);
			var total		= leftPadding + rightPadding + leftBorder + rightBorder + width;
			m_dvBottomPanel.style.width	= total+"px";
		}
	}
	
}