function adjustDivSize(source, dest) { 
	var src = document.getElementById(source); 

	var dst = document.getElementById(dest); 

	if(src.offsetHeight > dst.offsetHeight)
		dst.style.height = src.offsetHeight  + "px";
	else 
		src.style.height = dst.offsetHeight  -50  + "px";
}