function changeImage () {
	if ( document.getElementById("header") ) document.getElementById("header").className = " visual" + Math.round(Math.random() * 3);
}

if (window.addEventListener)
	window.addEventListener("load", changeImage, false);
else if (window.attachEvent)
	window.attachEvent("onload", changeImage);