window.scrollTo(0, getEl(document.anchors[anchor]).getY() - 
window.scrollTo(0, getEl(gAnchors[anchor]).getY() - 
function scrollToAnchor(anchor, noscroll) {    if (anchor == INVALID) {        return false;    }    if (!noscroll) {        window.scrollTo(0, getEl(document.anchors[anchor]).getY() -                           DIFF_SCROLLDOWN_AMOUNT);    }    SetHighlighted(gSelectedAnchor, false);    SetHighlighted(anchor, true);    gSelectedAnchor = anchor;    return true;}
4441	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4441/9736c87dad80d021bd22ae5bfc61cfc6d7bfd11a/diffviewer.js/clean/htdocs/scripts/diffviewer.js