function ChangeLang(lang1, lang2){	var CurURL;	var NewURL;		//lang1 = '/' + lang1 + '/';	//lang2 = '/' + lang2 + '/';		CurURL = window.location.toString();	NewURL = replace(CurURL, lang1, lang2);		window.location = NewURL;}function replace(haystack, oldNeedle, newNeedle) {    i = haystack.indexOf(oldNeedle);    r = "";    if (i == -1) return haystack;    r += haystack.substring(0,i) + newNeedle;    if (i + oldNeedle.length < haystack.length)        r += replace(haystack.substring(i + oldNeedle.length, haystack.length), oldNeedle, newNeedle);    return r;    }
