var scrolling2 = null;
function scroll_up2() {
	var d = document.getElementById('scroller2');
	d.scrollTop = d.scrollTop - 2;
	scrolling2 = window.setTimeout(function() {
		scroll_up2();
	}, 30);
}
function scroll_down2() {
	var d = document.getElementById('scroller2');
	d.scrollTop = d.scrollTop + 2;
	scrolling2 = window.setTimeout(function() {
		scroll_down2();
	}, 30);
}
function stop_scroll2() {
	window.clearTimeout(scrolling2);
}	

var scrolling = null;
function scroll_up() {
	var d = document.getElementById('scroller');
	d.scrollTop = d.scrollTop - 2;
	scrolling = window.setTimeout(function() {
		scroll_up();
	}, 30);
}
function scroll_down() {
	var d = document.getElementById('scroller');
	d.scrollTop = d.scrollTop + 2;
	scrolling = window.setTimeout(function() {
		scroll_down();
	}, 30);
}
function stop_scroll() {
	window.clearTimeout(scrolling);
}