﻿var Down;
var Up;
function scrollDivToBottom(){
    var div = document.getElementById('Cityscroll');
    div.scrollTop+=2;
    if(div.LastPos==div.scrollTop){
        clearTimeout(Down);
    }
    div.LastPos=div.scrollTop
    Down = setTimeout('scrollDivToBottom()', 1);
}

function scrollDivToTop(){
    var div = document.getElementById('Cityscroll');
    div.scrollTop-=2;
    if(div.LastPos==div.scrollTop){
        clearTimeout(Up);
    }
    div.LastPos=div.scrollTop
    Up = setTimeout('scrollDivToTop()', 1);
}

function scrollDivStop(){
    clearTimeout(Up);
    clearTimeout(Down);
}

