function updateHeight(){
	var left_column = document.getElementById('left_column').offsetHeight; 
	var right_column = document.getElementById('right_column').offsetHeight; 
	
	if(right_column>left_column){
		document.getElementById('left_column').style.height=right_column+'px';
	}
}