// Scrollers speed here (larger is faster 1-10) 
var scrollerspeed = 1;
var pauseit = true;
var pausespeed = (pauseit) ?  0 : scrollerspeed;
var scroller = null;
var scrollerHeight = "140px";

function scrollIt(n)
{
    scroller = document.getElementById("scroller" + n);
    scroller.style.top = scrollerHeight;
    lefttime = setInterval("scrollScroller(" + n + ")", 60);
}

function scrollScroller(n)
{ 
    scroller = document.getElementById("scroller" + n);
    var speed = scroller.getAttribute("speed") == null ? scrollerspeed : scroller.getAttribute("speed");
    if (parseInt(scroller.style.top) > ((parseInt(scroller.lastChild.offsetTop) + 10)*(-1)))
        scroller.style.top = parseInt(scroller.style.top) - speed + "px";
    else 
        scroller.style.top = scrollerHeight;
} 

function scrollerOver(e){ document.getElementById(e).setAttribute("speed", pausespeed); }
function scrollerOut(e) { document.getElementById(e).setAttribute("speed", scrollerspeed); }