var ticker;
var ticker_width;
var paused = false;
var old_color;
var speed = 15;

function startTicker() {
  ticker_width = document.getElementById('tickerBody').offsetWidth;
  ticker = document.getElementById('tickerBody');
  ticker.innerHTML = '<img src="/images/pixel.gif" alt="a stretchable pixel" width="'+ticker_width+'" height="1" alt="stretched pixel" />'+ticker.innerHTML+'<img src="/images/pixel.gif" width="'+ticker_width+'" height="1" alt="stretched pixel" />';
  ticker.onmouseover = function() {
    old_color = ticker.style.color;
    ticker.style.color = '#555';
    paused = true;
  }
  ticker.onmouseout = function() {
    ticker.style.color = old_color;
    paused = false;
  }
  scrollleft();
}
function scrollleft() {
  if ( paused != false ) {
    setTimeout('scrollleft()', speed);
  } else if ( ticker.scrollLeft == ticker.scrollWidth-ticker_width ) {
    ticker.scrollLeft = 0;
    setTimeout('scrollleft()', speed);
  } else {
    ticker.scrollLeft += 1;
    setTimeout('scrollleft()', speed);
    document.getElementById('tickerBody').value = ticker.scrollLeft+"/"+(ticker.scrollWidth-ticker_width);
  }
}