function changeLang(lang) {
	var old_pn = window.location.pathname;
	var new_pn = old_pn.replace(/nl|en|fr/,lang);
	window.location.href = "http://" + window.location.host + new_pn;
}