function divHeight(element){
	d = document.getElementById(element);
	if(d.offsetHeight){        
	  divH=d.offsetHeight;            
	}
	else if(d.style.pixelHeight){
		divH=d.style.pixelHeight;            
	}
	return divH;
}

function setRightBoxHeight(){
	if (divHeight('rightc') > divHeight('rightgreen')){
		document.getElementById('rightgreen').style.height = divHeight('rightc')+ 'px';
	}
}