var autoScrolling=0;
function toPageTop() {
    if (autoScrolling!=0)
        scrollTo(0,0);
    else {
        var ts=0;
        if (document.layers)
            ts=window.pageYOffset;
        else if (document.body.scrollTop)
            ts=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("toPageTop()",20);
        }
    }
}