//
// Animates the Header-Graphics
//
function doit(i) {
	if (document.getElementById("header")) {
		document.getElementById("header").style.backgroundPosition = i+"px 0";
	}
	setTimeout('doit('+(i+1)+')', 50);
}

Event.observe(window, 'load',doit(1));