function linkHead(xhead,xmain){
  parent.header.location.href=xhead;
  parent.mainFrame.location.href=xmain;
}

function linkHead2(xhead,xmenu,xmain){
  parent.header.location.href=xhead;
  parent.menu.location.href=xmenu;
  parent.mainFrame.location.href=xmain;
}

function linkList(xfile){
  dd=new Date();
  ss=dd.getSeconds();
  parent.location.href=xfile + "&var=" + ss;
}