a=0;
gutjetzt=0; 
function scrollIt() { 
document.getElementById('bildleiste').style.marginLeft=a; 
a-=1;
} 
function scrollen() {
 gutjetzt = setInterval('scrollIt()',100);
}
function anhalten() {
 clearInterval(gutjetzt);
}