/* This script and many more are available free online at
The JavaScript Source!! http://javascript.internet.com
Created by: voidvector | http://www.webdeveloper.com/forum/showthread.php?t=201460 

...This script was provided by the above site, and was modified to fit the needs of this site

*/

var UpdateInterval = 20;
var PixelPerInterval = 1;
var scrollerInterval;

function start_scroll_left(scroller) {
	scrollerInterval = setInterval(function() {document.getElementById(scroller).scrollLeft += PixelPerInterval}, UpdateInterval);
}

function stop_scrolling(scroller) {
	document.getElementById(scroller).scrollLeft = 0;
	clearInterval(scrollerInterval);
}