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

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