function rtHtMatch(a,b) {
	var eA=document.getElementById(a), eB=document.getElementById(b);
	eB.style.height=eA.clientHeight+'px';
}