<!--hide this script from non-javascript-enabled browsers

//Specify speed of scroll. Larger is faster
var scrollspeed=1;
var cache=1;
var container;
var ContainerID="ScrollingWindow";

//delay before scroller starts scrolling (in miliseconds):
var initialdelay=10;

function startScroller()
{
	if(document.getElementById)
	{
		container=document.getElementById(ContainerID);
		container.style.top="5px";
		setTimeout("getdataheight()", initialdelay);
	}
}

function getdataheight()
{
	thelength=container.offsetHeight;
	if (thelength==0)
	{
		setTimeout("getdataheight()",10);
	}
	else
	{
		scrollDiv();
	}
}

function scrollDiv()
{
	container.style.top=parseInt(container.style.top)-scrollspeed+"px";
	if (parseInt(container.style.top)<thelength*(-1))
	{
		container.style.top="5px";
	}
	setTimeout("scrollDiv()",40);
}

// -->