function randomPic() {
	var randomImg = Math.floor(Math.random()*11)+1;
	window.document.getElementById('header').style.backgroundImage = "url(fileadmin/templates/olliswelt/images/header/ollie-hd-"+randomImg+".jpg)";
}