setTimeout("initHeaderRotator()",100)

function initHeaderRotator()
{
	var placeholder = document.getElementById("navigation")
	if (placeholder)
	{
		var img = parseInt(Math.random()*3)
		placeholder.style.backgroundImage = "url(_assets/client/css/default/images/header-" + (img+1) + ".jpg)"
	}
	else
	{
		setTimeout("initHeaderRotator()",100)
	}
}