<!--
function changeImage(imagename) {
  document.getElementById("header_bottom_image").style.backgroundImage = 'url(fileadmin/templates/images/'+imagename+'.jpg)';
}

function loadImage(){
var imgs = new Array
(
"fileadmin/templates/images/box1.jpg", "fileadmin/templates/images/box2.jpg", "fileadmin/templates/images/box3.jpg","fileadmin/templates/images/box4.jpg", "fileadmin/templates/images/box5.jpg", "fileadmin/templates/images/box6.jpg","fileadmin/templates/images/box7.jpg", "fileadmin/templates/images/box8.jpg"
);
}
-->