function changeBG(){
var bg=self.document.bgColor;
top.header.document.bgColor=(bg);
top.toc.document.bgColor=(bg);
top.footer.document.bgColor=(bg);
}