var pos1=0
function runAni() {
BildWidth=document.getElementById("laufschrift1").width
if(pos1 > -1*BildWidth/2){
pos1-=1;}
else{
pos1=0;
}
document.getElementById("laufschrift1").style.left = pos1;
setTimeout("runAni()",20)
}