var divPrimeMsg = document.getElementById("divPrimeMsg");
var primeTimer;
setTimeout("delayScrollTop()", 1000);
//primeTimer = setInterval('scrollPrimeMsg()',200);

divPrimeMsg.onmouseover = function() {clearInterval(primeTimer)};
divPrimeMsg.onmouseout = function() {primeTimer = setInterval('scrollPrimeMsg()',200);};

function scrollPrimeMsg() {
	var preTop = divPrimeMsg.scrollTop;
	divPrimeMsg.scrollTop += 1;
	if (divPrimeMsg.scrollTop == preTop) {
		clearInterval(primeTimer);
		//setTimeout("delayScroll()", 5000);
	}
}

function delayScroll() {
	divPrimeMsg.scrollTop = 0;
	setTimeout("delayScrollTop()", 2000);
}
function delayScrollTop() {
	primeTimer = setInterval('scrollPrimeMsg()',200);
}
