var scrollTimer = null;
var scrollWidth = 0;
var initScrollInterval = 18;
var scrollInterval = initScrollInterval;
var scrollJumpSize = 1;
var leftMargin = 0;

function getScrollerWidth()
{
	// We cannot calculate this afresh each time because unfortunately on FF the scrollWidth of the scroller window
	// changes as we increasingly negativize the scroller (and there is no other way to get the width of the scroller
	// directly like in IE)
	
	if (!scrollWidth)
	{
		//if (browser.isNS)
			scrollWidth = document.getElementById("tagScrollerWindow").scrollWidth
		//else
		//	scrollWidth = document.getElementById("tagScroller").offsetWidth;
	}
	
	return scrollWidth;
}

function scrollTagsLeft()
{	
	var ts = document.getElementById("tagScroller");
				
	if (leftMargin > (275 - getScrollerWidth()))
	{
		leftMargin = leftMargin - scrollJumpSize;
		ts.style.marginLeft = leftMargin+"px";
		enterScrollLeftButton();
	}
	else
	{
		clearTimeout(scrollTimer);
	}
}
function scrollTagsRight()
{
	if (leftMargin < 0)
	{
		leftMargin = leftMargin + scrollJumpSize;
		document.getElementById("tagScroller").style.marginLeft = leftMargin+"px";
		enterScrollRightButton();
	}
	else
	{
		clearTimeout(scrollTimer);
	}
}
function enterScrollLeftButton()
{
	clearTimeout(scrollTimer);
	scrollTimer= setTimeout("scrollTagsLeft()", scrollInterval);
}
function enterScrollRightButton()
{
	clearTimeout(scrollTimer);
	scrollTimer= setTimeout("scrollTagsRight()", scrollInterval);
}

function leaveScrollButton()
{
	scrollJumpSize = 1;
	scrollInterval = initScrollInterval;
	clearTimeout(scrollTimer);
}

function scrollFaster()
{    
    if (scrollInterval >= 6)
    {
        scrollJumpSize += 1;
        scrollInterval -= 5;
    }   
//    
//	if (scrollInterval == initScrollInterval)
//	{
//		scrollJumpSize = 2;
//		scrollInterval = 27;
//	}
//	else if (scrollInterval == 27)
//	{
//		scrollJumpSize = 2;
//		scrollInterval = 15;
//	}
//	else if (scrollInterval == 27)
//	{
//		scrollJumpSize = 2;
//		scrollInterval = 15;
//	}
}