var timer;
var count=0;
function scrolltop(){
var _1=Number((document.documentElement&&document.documentElement.scrollTop)?document.documentElement.scrollTop:document.body.scrollTop);
var _2=Number(document.getElementById("scrollmenu").style.top.replace(/px/,""));
if(_2!=_1){
var _3=Math.abs(_1-_2);
_3=parseInt(_3/8);
if(_2>_1){
_3*=-1;
}
document.getElementById("scrollmenu").style.top=_2+_3;
}
timer=setTimeout("scrolltop()",20);
};
function stoptimer(){
clearTimeout(timer);
};