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