var wait = 0;
var scroll_step = 6;
var scroller;
function scroll_up() {
	document.getElementById('info').scrollTop -= scroll_step;
	start_scroll_up();
}
function scroll_down() {
	document.getElementById('info').scrollTop += scroll_step;
	start_scroll_down();
}
function stop_scroll() {
	clearTimeout(scroller);
}
function start_scroll_up() {
	stop_scroll();
	scroller = setTimeout('scroll_up()', wait);
}
function start_scroll_down() {
	stop_scroll();
	scroller = setTimeout('scroll_down()', wait);
}
function make_scroll() {
	document.getElementById('info').style.overflow = 'hidden';
	document.getElementById('up_arrow').style.display = 'block';
	document.getElementById('down_arrow').style.display = 'block';
}