function setupShowToc()
{
  if(!document.getElementById) return false;
  if(!document.getElementById('tocheader')) return false;

  var toc = document.getElementById('tocheader');

  with (toc.style)
  {
    position = 'fixed';
    right    = '4.5em';
    top      = '13em';
    width    = '15em';
  }

  var uls = toc.getElementsByTagName('ul');
  uls[0].style.display = 'none';

  toc.onmouseover = function()
  {
    var uls = this.getElementsByTagName('ul');
    uls[0].style.display = 'block';
  }

  toc.onmouseout = function()
  {
    var uls = this.getElementsByTagName('ul');
    uls[0].style.display = 'none';
  }
}

//Add to window.onload
addLoadListener(setupShowToc);