// JavaScript Document
var zxcTO;

function Scroll(id,dis,pos){
 var obj=document.getElementById(id)
 obj.scrollTop=obj.scrollTop+dis;
 if (pos){obj.scrollTop=pos; }
 else {zxcTO=setTimeout( function(){ Scroll(id,dis); },40); }
}