

<!--
var baseOffset = 2; // Scroll offset, larger is faster
var loopTiming = 5; // in ms, larger is slower
var keepGoing = -1; // -1 = stopped, 0 = paused, 1 = scrolling

function canScroll() {
    if (navigator.userAgent.indexOf("2.") != -1) return false;
    if (navigator.userAgent.indexOf("3.") != -1) return false;
    return true;
}

function doScroll() {
    scrollBy(offset,0);
    if (keepGoing == 1) setTimeout('doScroll()', loopTiming);
}

function stopScroll(until) {
    if (keepGoing != -1) keepGoing = until;
}

function startScroll(dir) {
  if (canScroll()) {
    offset = baseOffset * dir;
    if (keepGoing != 1) {
        keepGoing = 1;
        doScroll();
    }
  }
}       

function resumeScroll() {
    if (keepGoing == 0) {
        keepGoing = 1;
        doScroll();
    }   
}
// -->