// 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 = 33;
function bannerMarquee(yOffset)
{
//yOffset = (ScrollDuration*1000)/ScrollSpeed
if (yOffset	>0) {
	document.getElementById('course_list').style.backgroundPosition="0px "+yOffset+"px ";
	yOffset--;
	setTimeout("bannerMarquee("+yOffset+")", ScrollSpeed)
	}
}