function heighter ()
	{
	var left=document.getElementById('left_page').offsetHeight;
	var right=document.getElementById('right_page').offsetHeight;
	left=left-24;
	right=right-24;
	if (left>right){document.getElementById('right_page').style.height=left+'px';}
	if (left<right){document.getElementById('left_page').style.height=right+'px';}
	}