// JavaScript Document for setting equal height of divisions

   
   function set_div_height(){
     
	 var newheight=0;
	 var division1 = document.getElementById("left_body");
	 var division2 = document.getElementById("midd_body");
	 var divisionb = document.getElementById("extend");
	/* var division3 = document.getElementById("right_body");*/
/*	 var division4 = document.getElementById("right1");
	 var division5 = document.getElementById("right2");*/

		 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;
		}
		//alert('height1: '+ divheight1);


		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;
		}
		//alert('height2: '+ divheight2);
		
		
		/*
		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){
            newheight1 = divheight1
	    newheight2 = divheight1 + 4
	    newheightb = newheight2 - 707
	   //alert('body height: '+newheightb)
		}else{
            newheight1 = divheight2 - 4
	    newheight2 = divheight2
	    newheightb = 0
		}
		
		/*if (newheight>divheight3){
            newheight = newheight
		}else{
            newheight = divheight3
		}*/


	        
		division1.style.height = newheight1+"px"
		division2.style.height = newheight2+"px"
		if (newheightb > 0){
		   divisionb.style.height = newheightb+"px"
		}
	/*	division3.style.height = newheight+"px"*/
/*		division4.style.height = newheight+"px"
		division5.style.height = newheight+"px"*/
   }