var pageScrolling=0;
function pageScrollTop() {
    if (pageScrolling!=0)
        scrollTo(0,0);
    else {
        var ts=0;
        if (document.layers)
            ts=window.pageYOffset;
        else if (document.documentElement.scrollTop || document.body.scrollTop)
            ts=document.documentElement.scrollTop || document.body.scrollTop;
        else
            ts=window.pageYOffset;
        if (ts>0) {
            var nv=(ts-5)*0.2;
            if (nv<1) nv=1;
            scrollBy(0,-nv);
            setTimeout("pageScrollTop()",20);
        }
    }
}

