/*
scroll.js is deel van MaakMijnWeb! (c) 2007 Spin in het Web
*/

var scrollerrichting;
var scroller;
var scrollerid = null;

function startscroller(richting,elementid)
{
	stopscroller();
	scroller = document.getElementById(elementid);
	scrollerrichting = richting;
	scrollerid = setInterval("doescroller()",5);
}

function stopscroller()
{
	if (scrollerid)
		clearInterval(scrollerid);
}

function doescroller()
{
	vooraf = scroller.scrollTop;
	scroller.scrollTop += scrollerrichting * 2;
	if (vooraf == scroller.scrollTop)
	{
		stopscroller(); //klaar
	}
}