function lang(){ 
    
    var newHREF=location.href.replace(/deutsch\//,"english/");
	window.location.href=newHREF
  }