// Variable declarations for thumbnail box

var rightHover = false;
var leftHover = false;
var timer;

// Functions for div scrolling

function moveRight()
{
	var thumbBox = document.getElementById("thumb_box");
	thumbBox.scrollLeft += 1;
	timer = setTimeout("moveRight()",10);
}

function moveLeft()
{
	var thumbBox = document.getElementById("thumb_box");
	thumbBox.scrollLeft -= 1;
	timer = setTimeout("moveLeft()", 10);
}

function stopMovement()
{
	clearTimeout(timer);
}

// ------------------------------------------------------------------------------------------------