function setLang(language) {
    var myPath = new String(document.URL);
    var myPath2;
    if (language == 'next') {
    	var res = myPath.match(/\/..\//);
    	if (res) {
    	   switch (res[0]) {
    	      case "/en/": language = 'it'; break;
    	      //case "/de/": language = 'en'; break;
    	      case "/de/": language = 'it'; break;
    	      case "/it/": language = 'de'; break;
    	      default: language = 'de'; break;
    	   }
    	}
    	else language = 'de';
    }
    if (myPath == "http://www.treni.bz.it/" || myPath == "http://www.zugfahren.bz.it/") myPath2 = myPath + language + "/";
    else myPath2 = myPath.replace(/\/..\//, "/" + language + "/");
    window.location.href = myPath2;
    return false;
}