TICKER_PAUSED = false;

ticker_start();

function ticker_start() {
	document.getElementById("ticker").style.marginLeft = "1000px";
  ticker_tick();
	
}

function ticker_tick() {
	if(!TICKER_PAUSED) {
    current = parseInt(document.getElementById("ticker").style.marginLeft)
    current-= 2;
    document.getElementById("ticker").style.marginLeft = current + "px";
  }
  
	if(current == -1000) 
    document.getElementById("ticker").style.marginLeft = "1000px";
    
	window.setTimeout("ticker_tick()", 30);
}