var fileId = document.anchors[gSelectedAnchor].name.split(".")[0]; 
var fileId = gAnchors[gSelectedAnchor].name.split(".")[0]; 
function GetNextFileAnchor(dir) {    var fileId = document.anchors[gSelectedAnchor].name.split(".")[0];    var newAnchor = parseInt(fileId) + dir;    return GetAnchorByName(newAnchor);}
4441	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4441/9736c87dad80d021bd22ae5bfc61cfc6d7bfd11a/diffviewer.js/clean/htdocs/scripts/diffviewer.js