function changePicture () {
	var index = Math.floor(Math.random()*18);
	document.getElementById("banner").style.backgroundImage = "url(images/banner" + index + ".jpg)";
}