function sameHeight()
{
  var navBox = document.getElementById('navigation');
  var contentBox = document.getElementById('content');
  if (navBox.offsetHeight >= contentBox.offsetHeight)
    contentBox.style.height = navBox.offsetHeight + 'px';
  else
    navBox.style.height = (contentBox.offsetHeight - 25) + 'px';
}