// JavaScript Document
//------------------------------
var url = top.location.href;
var eng = (/_en/.test(url));
var label;
if (eng) {
url = url.replace("_en","_pr");
label = "português";
} else {
url = url.replace("_pr","_en");
label = "english";
}
document.write('<a href="'+url+'">'+label+'</a>');
//---------------------- end of file----------------