function ContentHeightFix () {
    /*
	var left_height = document.getElementById('left').offsetHeight;
	var margin_labels = left_height - document.getElementById('rightTop').offsetHeight - 65;
	document.getElementById('right').style.minHeight = left_height + 'px';
	document.getElementById('box-labels').style.marginTop = margin_labels + 'px';
    */
}