/*
*
*	Swaps the background image in "header" with a random image
*
*/

function imswap(){
	var imgurl = "/fileadmin/template/images/wellen/welle" + Math.floor(Math.random()*5 +1) + ".jpg";
	document.getElementById("header").style.backgroundImage = "url('"+ imgurl +"')";
}