function KopfLaden()
      {
      var i, n, z;
      n=6; // Adressen-Anzahl
      var kopf = new Array(n);

      kopf[0] = "url(bilder/head_1.gif)";
      kopf[1] = "url(bilder/head_2.gif)";
      kopf[2] = "url(bilder/head_3.gif)";
      kopf[3] = "url(bilder/head_4.gif)";
      kopf[4] = "url(bilder/head_5.gif)";
      kopf[5] = "url(bilder/head_6.gif)";

      z = Math.round((Math.random()*Math.random()*(n-1)),2);
      document.getElementById('bildleiste').style.backgroundImage=kopf[z];
      // oder top.location.href = adresse[z];
      }