step = 20
	function scrollUp(id) {
		el = document.getElementById(id)
		pos = el.scrollTop-step
		if (pos>=0) el.scrollTop = pos;
	}
	function scrollDown(id) {
		el = document.getElementById(id)
		pos = el.scrollTop+step;
		el.scrollTop = pos;
	}