function changeLanguage(whichLang){
    var current = location.href;
    var host = location.host;
    var page = current.split(host);
    var page = page[1].split("/german");
    if (page[1]==undefined){
        //alert("http://"+host+page);
        if (whichLang == "english"){
            location.replace("http://"+host+page);
        } else {
            location.replace("http://"+host+"/german"+page);
        }
    } else {
        //alert("http://"+host+page[1]);
        if (whichLang == "english"){
            location.replace("http://"+host+page[1]);
        } else {
            location.replace("http://"+host+"/german"+page[1]);
        }
    }
    
      //alert("http://"+host+page[1])
      //location.replace("http://"+host+page[1]);


}                         


