function langURL(dlang,lang) {
// dlang destination language code ( "en" )
// lang destination language name ( "English" )

var href = document.location.href;
path = new String(href);
var results;
var found = 0;

var lng = ["it","de","fr","en"];

// replace language 
for(var i = 0; i < 4 && found == 0; i++) {
	if (href.indexOf("/"+lng[i]+"/")!=-1) {
	results = path.replace("/"+lng[i]+"/", "/"+dlang+"/");
	found = 1;
	}
}
					
if (found) {return "<a href=\"" + results + "\" class=\"top\">" + lang + "</a>";}
//return language home page in case of errors
else return "<a href=\"../" + dlang + "/index.html\" class=\"top\">" + lang + "</a>";
}