function headerImage()
   {var z, i, max, bgbild;

      max=3;

      var bild=new Array()
       for (i=0;i<=max;i++)
       {
       bild[i]="bild"+i+".jpg";
       }

      z=Math.round(Math.random()*max);
      bgbild=bild[z];
      document.getElementById("right_menu").style.backgroundImage = "url(/fileadmin/headerbilder/"+bgbild+")";
}