function checkFrameset() {
  top.document.title = self.document.title;
  if(!parent.links)
    location.href="/structure/frameset_eng.html?URL=" + location.pathname;
    }