//div scrolling
defaultStep=5
step=defaultStep 

function scroll_down(id)
{
var id= id;
clearTimeout(timerDown) 
document.getElementById(id).scrollTop+=step 
timerDown=setTimeout("scroll_down('"+id+"')",10)

} 

function scroll_up(id)
{
clearTimeout(timerUp)
document.getElementById(id).scrollTop-=step 
timerUp=setTimeout("scroll_up('"+id+"')",10)
} 

timerDown="" 
timerUp="" 

function stop_scroll(){
clearTimeout(timerDown) 
clearTimeout(timerUp)
}

document.onmousemove=function(){stop_scroll()}