// JavaScript Document for setting equal height of divisions
   function set_div_heighth(){
     
	 var newheight=0;
	 var division1 = document.getElementById("left-border");
	 var division2 = document.getElementById("main");
	 var division3 = document.getElementById("right-border");


		 if (division1.currentStyle){ 
			divheight1 = division1.offsetHeight; 
		 } 
		else if (window.getComputedStyle){
			var divstyle=window.getComputedStyle(division1, "") 
			ccHeight =  divstyle.getPropertyValue('height');
			ccHeight = ccHeight.replace("px","");
			divheight1 = eval(ccHeight);
		}
		else { 
			 divheight1 = division1.clientHeight;
		}







		if (division2.currentStyle){ 
			divheight2 = division2.offsetHeight; 
		 } 
		else if (window.getComputedStyle){ 
			var divstyle=window.getComputedStyle(division2, "")
			ccHeight =  divstyle.getPropertyValue('height');
			ccHeight = ccHeight.replace("px","");
			divheight2 = eval(ccHeight);
		}
		else { 
			 divheight2 = division2.clientHeight;
		}







		if (division3.currentStyle){ 
			divheight3 = division3.offsetHeight; 
		 } 
		else if (window.getComputedStyle){ 
			var divstyle=window.getComputedStyle(division3, "")
			ccHeight =  divstyle.getPropertyValue('height');
			ccHeight = ccHeight.replace("px","");
			divheight3 = eval(ccHeight);
		}
		else { 
			 divheight3 = division3.clientHeight;
		}







		if (divheight1>divheight2){
            newheight = divheight1
		}else{
            newheight = divheight2
		}

		if (newheight>divheight3){
            newheight = newheight
		}else{
            newheight = divheight3
		}



	        
		division1.style.height = newheight+"px"
		division2.style.height = newheight+"px"
		division3.style.height = newheight+"px"


   }
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   function set_div_heighth2(){
     
	 var newheight=0;
	 var division1 = document.getElementById("leftcol");
	 var division2 = document.getElementById("content");


		 if (division1.currentStyle){ 
			divheight1 = division1.offsetHeight; 
		 } 
		else if (window.getComputedStyle){
			var divstyle=window.getComputedStyle(division1, "") 
			ccHeight =  divstyle.getPropertyValue('height');
			ccHeight = ccHeight.replace("px","");
			divheight1 = eval(ccHeight);
		}
		else { 
			 divheight1 = division1.clientHeight;
		}







		if (division2.currentStyle){ 
			divheight2 = division2.offsetHeight; 
		 } 
		else if (window.getComputedStyle){ 
			var divstyle=window.getComputedStyle(division2, "")
			ccHeight =  divstyle.getPropertyValue('height');
			ccHeight = ccHeight.replace("px","");
			divheight2 = eval(ccHeight);
		}
		else { 
			 divheight2 = division2.clientHeight;
		}




		if (divheight1>divheight2){
            newheight = divheight1
		}else{
            newheight = divheight2
		}


	        
		division1.style.height = newheight+"px"
		division2.style.height = newheight+"px"


   }