var interval;
var lauf;
var lauf_stop;
lauf = function(id_name, amount, direction) {
	if(interval) { clearInterval(interval); }
	interval = setInterval(function() {
		switch(direction) {
		case "right": move_right(); break;
		case "left": move_left(); break;
		}
	}, 10);
	function move_right() { document.getElementById(id_name).scrollLeft = document.getElementById(id_name).scrollLeft-amount; }
	function move_left() { document.getElementById(id_name).scrollLeft = document.getElementById(id_name).scrollLeft+amount; }
}
lauf_stop = function() { if(interval) { clearInterval(interval); }  }