var t;
var c1;
var text;
var pos;
var realWidth;
var tim;
var width = 600;
var delay = 10;
function TickerInit()
{
pos = width;
t = document.getElementById("t");
c1 = document.getElementById("c1");
realWidth = c1.offsetWidth;
tim = setInterval("updateScroll()",15);

}
function updateScroll()
{
if (c1 != null)
{
pos--;
if(pos+realWidth < -1)
pos = width+delay;
c1.style['left'] = pos + "px";
}
}
function stopScroll()
{
if (c1 != null)
{
clearInterval(tim);
}
}
function startScroll(){
if (c1 != null)
{
tim = setInterval("updateScroll()", 15);
}
}