var oldticker;
var newticker;
var tickers = Array();
var fadeready = false;
var pause = false;
var timerid = 0;
var fincr = 2;
var interval = 9; // seconds

function fade() {
   if (!fadeready || pause)
      return;

   num = (currentindex + 1) % tickers.length;
   oldticker = document.getElementById("ticker"+tickers[currentindex]);
   newticker = document.getElementById("ticker"+tickers[num]);

   currentindex = num;
   setopacity(fincr);
}

function setopacity(val) {
   Effect.Fade(oldticker, { afterFinish: function() { Effect.Appear(newticker, { afterFinish: function() { timerid = setTimeout("fade()", interval*1000); } }) } });
}

function stop() {
   if (timerid)
      clearTimeout(timerid);
   pause = true; 
}

function restart() {
   pause = false;
   timerid = setTimeout("fade()", interval*1000);
}