// JavaScript Document
function switchLang (src, trg) {
  src = src + "/";
  trg = trg + "/";
  var str=new String(document.location);
	var i=str.lastIndexOf(src);
  if (i != -1) 
    document.location = str.substring(0,i) + trg + str.substr(i+src.length);
}