function ScrollImgTop(top_half, bottom_half, border_div) {
  var speed=100;
  var scroll_begin = $(top_half);
  var scroll_end = $(bottom_half);
  var scroll_div = $(border_div);
  scroll_end.innerHTML=scroll_begin.innerHTML;
  var flag = false;
  function Marquee(){
    var top = Element.cumulativeOffset(scroll_end).top - Element.cumulativeOffset(scroll_end.parentNode).top;
    if(top-scroll_div.scrollTop<=0)
      scroll_div.scrollTop-=scroll_begin.offsetHeight;
    else
      scroll_div.scrollTop+=1;
  }
  var MyMar=setInterval(Marquee,speed)
  scroll_div.onmouseover=function() {clearInterval(MyMar)}
  scroll_div.onmouseout=function() {MyMar=setInterval(Marquee,speed)}
}
