function randInt(min,max)
{
   var div = (max - min) + 1
   var randNum = Math.random()
   for (var i = 0; i <= div - 1; i++)
      {
      if (randNum >= i / div && randNum < (i+1) / div)
      {return i + min}
      }
}

function init_seite() {
    bgarray = new Array ('bild_kontakt.jpg', 'bild_referenzen.jpg','bild_unternehmen.jpg', 'bild_verwaltung.jpg');
    var bg = randInt(0,3);
    document.getElementById("header_normal").style.backgroundImage = "url(./pics/"+bgarray[bg]+")";
}