// JavaScript Document
function run_bulletin(ademo1,ademo11,ademo12)
{
	var demo1 = document.getElementById(ademo1);
	var demo11 = document.getElementById(ademo11);
	var demo12 = document.getElementById(ademo12);
	var speed=80
	demo12.innerHTML=demo11.innerHTML
	function Marquee1(){
	if(demo12.offsetTop-demo1.scrollTop<=0)
	demo1.scrollTop-=demo11.offsetHeight
	else{
	demo1.scrollTop++
	}
	}
	var MyMar1=setInterval(Marquee1,speed)
	demo1.onmouseover=function() {clearInterval(MyMar1)}
	demo1.onmouseout=function() {MyMar1=setInterval(Marquee1,speed)}
}
run_bulletin("scrollDiv4","scrollDiv4a","scrollDiv4b");