<!--
  if (window != top)
    top.location.href = location.href;
//-->