var name = navigator.appName;
  if (name=="Netscape")
  {
    mytabellespanner=this.parentLayer.document.tabellespanner;
    divtabellespanner=mytabellespanner;
  }
  else
  {
    mytabellespanner=tabellespanner.parentElement.all.tabellespanner;
    divtabellespanner= mytabellespanner.style;
  }