<!--
ns4=document.layers;
if (ns4)
  {
  origWidth=innerWidth;
  origHeight=innerHeight;
  }

function Resize_ns4()
{
if (innerWidth != origWidth || innerHeight != origHeight)
  {
  location.reload();
  }
}

if (ns4) onresize=Resize_ns4;
//-->