window.onload = function(){
	var header = document.getElementById("header");
	var bannerCount = 23;
	var imageSrc = "../images/banners/banner_" + (Math.floor(Math.random() * bannerCount) + 1) + ".png";
	header.style.backgroundImage = "url(" + imageSrc + ")";
	makeMenuWorkInIE();
};