// JavaScript Document
function resize(hasRightBar){ 
	var htmlheight = document.body.parentNode.clientHeight; 
	var windowheight = window.screen.height; 

	var left_bar = document.getElementById('left_bar')
	var content = document.getElementById('content')
	left_bar.style.height = windowheight + "px"
	content.style.height = windowheight + "px"
	
	try {
		var right_bar = document.getElementById("right_bar")
		right_bar.style.height = windowheight + "px"
	}
	catch(er){
		
	}
}