function lang(lang)
{ url=location.href
url = url.replace(/(\/de\/)|(\/en\/)/,"/"+lang+"/");
window.location.href=url; }