var time;
/*
	id: id del div contenitore degli elementi da scrollare
	direction: up/down/right/left
	step: numero di pixel che ogni volta sposta
*/
function scroll(id,direction,step){
	var element = document.getElementById(id);
	if(direction == "up"){
		element.scrollTop = String(Number(element.scrollTop) + Number(step));
	}else if(direction == "down"){
		element.scrollTop = String(Number(element.scrollTop) - Number(step));
	}else if(direction == "right"){
		element.scrollLeft = String(Number(element.scrollLeft) + Number(step));
	}else if(direction == "left"){
		element.scrollLeft = String(Number(element.scrollLeft) - Number(step));
	}
	time = setTimeout('scroll(\''+id+'\',\''+direction+'\',\''+step+'\')', 50);
}

function stopScroll()
{
	if (time) clearTimeout(time);
}