// JavaScript Document
var TICKER_PAUSED = false;
function ticker_start() {
	interval=setInterval("run_ticker()",10);
}
function run_ticker(){
	var step=1;
	if(TICKER_PAUSED)return;
	document.getElementById("TICKER").scrollLeft +=	step;
	if(document.getElementById("TICKER").scrollLeft >= document.getElementById("TICKER").scrollWidth - document.getElementById("TICKER").offsetWidth){
		document.getElementById("TICKER").scrollLeft=0;
	}
}