/***************************************************
* Special workaround for IE 6 or earlier version which
* does not support position: fixed.
****************************************************/

var tocBar;
var theTop = 252;
var old = theTop;

window.onload = function () 
{
	tocBar = new getObj('tocbar');
	moveTocBar();
}

function moveTocBar()
{
	if (window.innerHeight)
	{
		  pos = window.pageYOffset
	}
	else if (document.documentElement && document.documentElement.scrollTop)
	{
		pos = document.documentElement.scrollTop
	}
	else if (document.body)
	{
		  pos = document.body.scrollTop
	}
	if (pos < theTop) pos = theTop;
	else 
	{
		pos += 30;
		document.getElementById("toc").style.top = document.getElementById("tocbar").style.top;
	}
	
	if (pos == old)
	{
		tocBar.style.top = pos;
	}
	old = pos;
	temp = setTimeout('moveTocBar()', 15);
}

function getObj(name)
{
  if (document.getElementById)
  {
  	this.obj = document.getElementById(name);
	this.style = document.getElementById(name).style;
  }
  else if (document.all)
  {
	this.obj = document.all[name];
	this.style = document.all[name].style;
  }
  else if (document.layers)
  {
   	this.obj = document.layers[name];
   	this.style = document.layers[name];
  }
}