var bilder = new Array ('graphics/offizin_1.jpg',
                          'graphics/offizin_willkommen.jpg',
                          'graphics/start_team.jpg');
  
  var aktueller_bildindex = 1;

function updatePicture () {
    
    document.getElementById ('welcome_pic').src = bilder[aktueller_bildindex];
    
    if (aktueller_bildindex == bilder.length - 1)
        aktueller_bildindex = 0;
    else
        aktueller_bildindex++;
  }

  
  window.setInterval ("updatePicture ()", 10000);