var scrolling = null;
 
    function scroll_up() {
        var d = document.getElementById('scroller');
 
        d.scrollTop = d.scrollTop - 5;
 
        scrolling = window.setTimeout(function() {
            scroll_up();
        }, 40);
    }
 
    function scroll_down() {
        var d = document.getElementById('scroller');
 
        d.scrollTop = d.scrollTop + 5;
 
        scrolling = window.setTimeout(function() {
            scroll_down();
        }, 40);
    }
 
    function stop_scroll() {
        window.clearTimeout(scrolling);
	}
	
	
	function scroll1_up() {
        var d = document.getElementById('scroller1');
 
        d.scrollTop = d.scrollTop - 5;
 
        scrolling = window.setTimeout(function() {
            scroll1_up();
        }, 40);
    }
 
    function scroll1_down() {
        var d = document.getElementById('scroller1');
 
        d.scrollTop = d.scrollTop + 5;
 
        scrolling = window.setTimeout(function() {
            scroll1_down();
        }, 40);
    }
 
    function stop_scroll() {
        window.clearTimeout(scrolling);
	}