function scrollPictures() {
	var scrollArea = document.getElementById("scrollArea");
	var scrollArea1 = document.getElementById("scrollArea1");
	var scrollArea2 = document.getElementById("scrollArea2");
	var speed=17;
	scrollArea2.innerHTML = scrollArea1.innerHTML
	function Marquee(){
	if(scrollArea2.offsetTop-scrollArea.scrollTop<=0)
		scrollArea.scrollTop-=scrollArea1.offsetHeight
	else{
		scrollArea.scrollTop++
	}
	}
	var MyMar = setInterval(Marquee,speed);
	scrollArea.onmouseover = function(){clearInterval(MyMar)}
	scrollArea.onmouseout = function(){MyMar = setInterval(Marquee,speed)}
}
scrollPictures();