if (top == self) {
  self.location.href = "/index.cgi?"+self.location.pathname+self.location.search;
}

function expand(id) {
  document.forms[0].expand.value = id;
  document.forms[0].target = "menu";
  document.forms[0].submit();
}