function ScrollDiv(){
if(document.getElementById('scrollVert').scrollTop<(document.getElementById('scrollVert').scrollHeight
-document.getElementById('scrollVert').offsetHeight)){-1
document.getElementById('scrollVert').scrollTop=document.getElementById('scrollVert').scrollTop+1
}
else {// distanza dal top quando si ricarica
document.getElementById('scrollVert').scrollTop=10; 
}
}
/*qui possiamo cambiare la velocita' settando il numero : piu' e' alto e + lo scroller rallenta e viceversa*/
//setInterval(ScrollDiv,80)
/*se vuoi che lo scroll non si fermi mai cancella la parte qui sotto e lascia solamente :
setInterval(ScrollDiv,80)*/
/**********inizio parte che ferma e fa ripartire lo scroll *******/
/*qui inizia la parte che controlla lo scrolling al passaggio del mouse*/
// creo la variabile scrolling
var scrolling;
//settaggio della velocita' dello ScrollDiv
scrolling = setInterval('ScrollDiv()',50)

function stopScroll(){
// stop scrolling onmouseover
clearTimeout(scrolling)
}
function startScroll(){
// start scrolling again onmouseout
scrolling = setInterval('ScrollDiv()',50)
}