function SizeCat23(divcat2, divcat3)
        {
            var cat3div = document.getElementById(divcat3);
            if (cat3div!=null)
            {
			    var cat2div = document.getElementById(divcat2);
			    if (cat2div!=null)
			    {
    				var cat2 = cat2div.getElementsByTagName('ul')[0];			
				    var cat3 = cat3div.getElementsByTagName('ul')[0];        				
				    var size = Math.max(cat2.offsetHeight, cat3.offsetHeight);        
				    cat3.style.height = size + 'px';
				    cat2.style.height = size + 'px';
		        }
            }
         }