// <![CDATA[		 
		var pos;
		var speed = 0.5;
		var pos_initial;
		 
		function startAnim() {
			var e = document.getElementById('newsbox');
			pos_initial = e.clientHeight + 10;
			pos = pos_initial;
			setInterval('anim()', 10);
		}
		function anim() {
			var e = document.getElementById('newslist');
			e.style.visibility = 'visible';
			e.style.top = Math.floor(pos) + 'px';
			pos = pos - speed;
			if(pos < - e.clientHeight) pos = pos_initial;
		}
		window.onload = function() {
		  var e = document.getElementById('newsbox');
		  e.onmouseover = function() { speed = 0; };
		  e.onmouseout = function() { speed = 0.5; };
		  startAnim()
		};
		//-->