var filebits = location.pathname.split("/");
var filename = filebits[filebits.length - 1];
var filebits = filename.split(".");
var token = filebits[0].replace("__","~");
if(filebits[1] == "en") token = "Page_Moved";
var hostname = location.host;
var url = "index.html" + location.search + "#" + token;
if(location.search != '?text') location.replace(url);