// JavaScript Document
function setElementSize() {
  	//getWinSize();
	//getWinSize();  
	//alert(document.getElementById("pagecolumn").offsetHeight);
     document.getElementById("leftMarg").style.height = document.getElementById("pagecolumn").offsetHeight +'px';//'200px'
	 document.getElementById("rightMarg").style.height =document.getElementById("pagecolumn").offsetHeight +'px';	//'200px'
}