var $ = function($){return document.getElementById($)}
var myMar;
var w;
var speed = 50;
var scroll_div,star,end;
window.onload = init;
function init() {
scroll_div = $("scroll_div");
star = $("scroll_div").getElementsByTagName("DIV")[0];
if (star.nextSibling) {
scroll_div.removeChild(star.nextSibling) 
}
end = document.createElement("DIV")
end.innerHTML = star.innerHTML;
scroll_div.appendChild(end)
if (document.all) {
w = end.offsetHeight;
} else {
w = end.parentNode.scrollHeight/2;
}
MyMar=setInterval(Marquee,speed)
scroll_div.onmouseover=function() {clearInterval(MyMar)}
scroll_div.onmouseout=function() {MyMar=setInterval(Marquee,speed)}
}
function Marquee(){
var tmp = end.parentNode.scrollHeight
if(w-scroll_div.scrollTop<=0) {
scroll_div.scrollTop-= w
} else {scroll_div.scrollTop++}
}