var banner_position = 0;

function banner_move()
{
	document.getElementById('banner').style.backgroundPosition = banner_position++ + 'px 0px';
	setTimeout('banner_move()', 50);
}