function setdivheight() { 
	
	if (document.getElementById) { 
		
		var targetdivheight = document.getElementById('contentRight').offsetHeight;
		
		if (targetdivheight > 0) { 

			var groundElement = document.getElementById('navright'); 
			groundElement.style.height = targetdivheight + 'px'; 
       
	   } 
	
	} 

} 

window.onload = setdivheight;