// JavaScript Document
function init()
{
	var h = document.getElementById('left').scrollHeight;
	var rh1 = document.getElementById('rbox1').scrollHeight;
	var rh2 = h-rh1-39;
	document.getElementById('rcont2').style.height = rh2+'px';
}