function resizeCatalog(divId, targetHeight)
{
	//alert(divId + '  ' + targetHeight);
	var div = document.getElementById(divId);
	div.style.height = targetHeight + 'px';
}