<!-- switch FROM English to newlang
function switchto(newlang) {
	pagepath = location.pathname;
	if(pagepath.indexOf("/en/") != -1) {
		pagepath = pagepath.replace(/en/i, newlang);
	}
	top.location.href = pagepath;
}
 -->