var bgPos = 0;

function AnimateHeader() {
	bgPos += 1;
	if (bgPos == 2400) {
		bgPos = 0;
	}
	document.getElementById("header").style.backgroundPosition = bgPos + "px top";
	window.setTimeout("AnimateHeader()", 120);
}