var pos = 0;
var scrollSpeed;
var maxSpeed = 10;
var maxScroll;

function doScroll() {
	if (scrollSpeed==0) return;
	pos += scrollSpeed;
	if (scrollSpeed>0 && pos>=0) { pos=0; scrollSpeed=0; }
	if (scrollSpeed<0 && pos<=-maxScroll) { pos=-maxScroll; scrollSpeed=0; }
	var y = document.getElementById ("scrolled");
	y.style.left = pos + "px";
//	y.scrollBy (pos, 0);
//		y.style.backgroundColor = "red";
	if (scrollSpeed>0 && scrollSpeed<maxSpeed) scrollSpeed++;
	if (scrollSpeed<0 && scrollSpeed>-maxSpeed) scrollSpeed--;
	setTimeout ("doScroll();", 40);
}
function startScrollingRight() {
	maxScroll = document.getElementById ("scrolled").offsetWidth - 443;
	if (maxScroll < 0) return;
	scrollSpeed = -1;
	doScroll ();
}
function startScrollingLeft() {
	scrollSpeed = 1;
	doScroll ();
}
function stopScrolling() {
	scrollSpeed = 0;
}