function resizeDivs (divList)
{
  var maxHeight = 0;
  
  for (var i = 0; i < divList.length; i++)
    {
      div = document.getElementById (divList[i]);
      
      if (div)
	if (div.offsetHeight > maxHeight)
	  maxHeight = div.offsetHeight;
    }
  
  for (var i = 0; i < divList.length; i++)
    {
      div = document.getElementById (divList[i]);
      
      if (div)
	div.style.height = maxHeight + "px";
    }
  
}