var scrolling = null;
	
	function scroll_up() {
		var d = document.getElementById('texto_interna');		
		
		d.scrollTop = d.scrollTop - 50;
	
/*		scrolling = window.setTimeout(function() {
			scroll_up();
		}, 100);
*/	}
	
	function scroll_down() {
		var d = document.getElementById('texto_interna');	
		d.scrollTop = d.scrollTop + 50;
	
	/*	scrolling = window.setTimeout(function() {
			scroll_down();
		}, 100);*/
	}
	
	function stop_scroll() {
		window.clearTimeout(scrolling);
	}