function auto_height_right ()
{
	var a = document.getElementById ("main");	
	var a_height = a.offsetHeight;	
	a_height_new =  a_height - 10;	
	document.getElementById("right").style.height = a_height_new+'px';
}