function ShowMask(id)
{
   e = $get(id);
   if (!e)
      return;

   if (document.documentElement.offsetHeight > document.documentElement.scrollHeight)
      height = document.documentElement.offsetHeight;
   else
      height = document.documentElement.scrollHeight;

   if (document.documentElement.offsetWidth > document.documentElement.scrollWidth)
      width = document.documentElement.offsetWidth;
   else
      width = document.documentElement.scrollWidth;

   e.style.height = height + 'px';
   e.style.width = width + 'px';
}

function GrowRope()
{
   middle = $get("divMiddle");
   right = $get("divRight");
   left = $get("divLeft");

   if (middle.offsetHeight - 544 > right.offsetHeight) {
      right.style.height = (middle.offsetHeight - 544) + "px";
      left.style.height = (middle.offsetHeight - 544) + "px";
   }
   else
      left.style.height = right.offsetHeight + "px";
}

function GrowRope2()
{
   middle = $get("divMiddle");
   right = $get("divRight");
   left = $get("divLeft");

   if (middle.offsetHeight - 0 > right.offsetHeight) {
      right.style.height = (middle.offsetHeight - 0) + "px";
      left.style.height = (middle.offsetHeight - 0) + "px";
   }
   else
      left.style.height = right.offsetHeight + "px";
}