<!--  begin
var url = window.location.href;

var lastPeriod = url.lastIndexOf(".");
var ext = url.slice(lastPeriod + 1,url.length); 
ind = url.indexOf('_eng.');
newURL = url;
if (ind != -1) {newURL = url.substring(0,ind) + '_b5.' + ext}
ind = url.indexOf('_b5.');
if (ind != -1) {newURL = url.substring(0,ind) + '_eng.' + ext}

pos = 9;
for(num=0;num<document.links.length;num++) {
if (document.links[num].href.indexOf("updatelink") != -1) {
pos = num;
num = 5;
break;
}
}

function update() {
if (pos!=9) {
document.links[pos].href = newURL;
}
}
update();
// end -->