function randomPic() {
	var randomImg = Math.floor(Math.random()*11)+1;
	window.document.getElementById('headerIMG').src= "fileadmin/user_upload/header/header-"+randomImg+".jpg";
}