function animate_image(number)
{
 var img_objekt = window.document.getElementById('img_animated')
 var myfolder = 'images/start_header/';
 var next = 1;
 img_objekt.src = myfolder + number + '.gif';
 if (number == 1) next = 2;
 else if (number == 2) next = 3;
 else if (number == 3) next = 4;
 else if (number == 4) next = 5;
 else if (number == 5) next = 6;
 else if (number == 6) next = 7;
 else if (number == 7) next = 8;
 else if (number == 8) next = 9;
 else if (number == 9) next = 10;
 else if (number == 10) next = 11;
 else if (number == 11) next = 1;
 window.setTimeout('animate_image(' + next + ')', 2500);
}
window.setTimeout('animate_image(2)', 2500);