// javascript document
// This is the amount of time (in milliseconds) that will lapse between each pixel step in the scroll 67ms = about 15fps
var ScrollSpeed = 67;
function bannerMarquee(xOffset)
{
//xOffset = (ScrollDuration*1000)/ScrollSpeed
if (xOffset>0) {
	document.getElementById('banner').style.backgroundPosition=xOffset+"px 7px ";
	xOffset--;
	setTimeout("bannerMarquee("+xOffset+")", ScrollSpeed)
	}
}