function setScrollerHeight() {
	if (!document.getElementsByTagName) return;
	var h=parseInt(document.getElementById('cat_left').offsetHeight);
	document.getElementById('cat_right').style.height=(h-38)+"px";
}
window.onload = setScrollerHeight;