var curindex=0;
var randomimages=new Array();

function rotateImage() {
  // pak elke keer een nieuw image uit de lijst.
  document.getElementById('picture').style.background = 'URL(' + randomimages[curindex] +')';
  curindex++;
  if (curindex>=randomimages.length) curindex=0;
}

function initRotate() {
  randomimages[0]='/img/indubio10.jpg';
  randomimages[1]='/img/pico20.jpg';
  randomimages[2]='/img/kielboot17.jpg';
  randomimages[3]='/img/indubio01.jpg';
  randomimages[4]='/img/indubio18.jpg';
  randomimages[5]='/img/kielboot06.jpg';
  randomimages[6]='/img/pico09.jpg';
  randomimages[7]='/img/pico08.jpg';
  randomimages[8]='/img/pico01.jpg';
  randomimages[9]='/img/kielboot08.jpg';
  // Zet het eerste image aan
  rotateImage();

  // Laad de volgende images alvast, image 0 hoeft niet want die is al geladen
  var preload=new Array();
  for (n=1;n<randomimages.length;n++) {
    preload[n]=new Image();
    preload[n].src=randomimages[n];
  }

  // Elke 10 seconden een nieuw image.
  setInterval("rotateImage()",10000);
}