var up=false;
var down=false;
function up_scroll(div) {
	if(up) {
	document.getElementById(div).scrollTop -= 2;
	setTimeout('up_scroll(\''+div+'\')',20);
	}
}
function down_scroll(div) {
	if(down){
	document.getElementById(div).scrollTop += 2;
	setTimeout('down_scroll(\''+div+'\')',20);
	}
}