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