function RotateServerBanner() {
	var banner1 = document.getElementById("ServerBanner1");
	var banner2 = document.getElementById("ServerBanner2");
	var banner3 = document.getElementById("ServerBanner3");

	if (banner1.style.display == "") {
		banner1.style.display = "none";
		banner2.style.display = "";
		banner3.style.display = "none";
	}
	else if (banner2.style.display == "") {
		banner1.style.display = "none";
		banner2.style.display = "none";
		banner3.style.display = "";
	}
	else if (banner3.style.display == "") {
		banner1.style.display = "";
		banner2.style.display = "none";
		banner3.style.display = "none";
	}
}

setInterval(RotateServerBanner, 5000);