﻿
function Marquee() {
    if (divInstanceList2.offsetTop - divInstanceList.scrollTop <= 0)
        divInstanceList.scrollTop -= divInstanceList1.offsetHeight;
    else {
        divInstanceList.scrollTop++;
    }
}

    var speed = 80;
    var divInstanceList = document.getElementById("divInstanceList");
    var divInstanceList2 = document.getElementById("divInstanceList2");
    var divInstanceList1 = document.getElementById("divInstanceList1");
    divInstanceList2.innerHTML = divInstanceList1.innerHTML;

    var MyMar = setInterval(Marquee, speed)
    divInstanceList.onmouseover = function() { clearInterval(MyMar); }
    divInstanceList.onmouseout = function() { MyMar = setInterval(Marquee, speed); } 



