var px = 6;//mehr=schneller
var timer;
function scrollDenDiv(val){
	clearTimeout(timer);
	d=document.getElementById('thumb_box');
	x=d.scrollLeft;
	if(val==1)x-=px;
	if(val==2)x+=px;
	if(x<=d.scrollWidth-d.offsetWidth+px&&x>=0-px){
		d.scrollLeft=x;
		timer=setTimeout('scrollDenDiv('+val+')',30);
	}
	if(x<0||x>d.scrollWidth-d.offsetWidth){
		clearTimeout(timer);
	}
}