function fixHeight()
{
  var res_area = $("navlist");

  if (res_area.getHeight() <= 678)
  {
    res_area.style.height = 678 + "px";
  }
  else
  {
    res_area.style.height = "auto";
  }
}