var images = new Array("studio", "konzepte", "produktion", "partner", "referenzen" );
function dsHeadImage(id) {
if (id) {
document.getElementById("header").style.background="url('bild/header_" + id + ".jpg')";
}
}
function dsHeadImageRandom() {
var id = Math.floor(Math.random()*images.length);
dsHeadImage(images[id])
}