var text_box_height = 290;
var scroll_amount = 1;
var scrollID = false;
var scroll_interval = 10;
//
function check_arrows() {
	if (document.getElementById('story') && document.getElementById('arrows')) {
		box = document.getElementById('story');
		box.className = 'invisible';
		// This is a large number (!):
		box.scrollTop += 9999;
		box_scroll_height = text_box_height + box.scrollTop;
		jump_numbers = Math.ceil(box_scroll_height / text_box_height);
		box.scrollTop = 0;
		box.className = '';
		if (jump_numbers > 1) {
			//alert('scrolls');
			document.getElementById('arrows').style.visibility = 'visible';
		} else {
			//alert('doesnt scroll');
			document.getElementById('arrows').style.visibility = 'hidden';
		}
	}
}
function scroll_up(speed) {
	stop_scroll();
	if (speed == 1) scroll_amount = -5;
	else scroll_amount = -1;
	scrollID = setTimeout("scroll()", scroll_interval);
}
function scroll_down(speed) {
	stop_scroll();
	if (speed == 1) scroll_amount = 5;
	else scroll_amount = 1;
	scrollID = setTimeout("scroll()", scroll_interval);
}
function scroll() {
	box.scrollTop += scroll_amount;
	scrollID = setTimeout("scroll()", scroll_interval);
}
function stop_scroll() {
	if (scrollID) clearTimeout(scrollID);
}