function swapHeader () {
	var n = Math.random()*5;
	n = Math.ceil(n);
	var newImage = "images/header/header"+n+".jpg";
	document.getElementById('header').style.backgroundImage = "url("+newImage+")";
}