for (var anchor = 0; anchor < document.anchors.length; anchor++) { if (document.anchors[anchor].name == name) { 
for (var anchor = 0; anchor < gAnchors.length; anchor++) { if (gAnchors[anchor].name == name) { 
function GetAnchorByName(name) {    for (var anchor = 0; anchor < document.anchors.length; anchor++) {        if (document.anchors[anchor].name == name) {            return anchor;        }    }    return INVALID;}
4441	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4441/9736c87dad80d021bd22ae5bfc61cfc6d7bfd11a/diffviewer.js/clean/htdocs/scripts/diffviewer.js