// changeLanguage: When the user chooses a language from the dropdown in the top bar, redirect to
//					the current page in that language's variation.
// Arguments:
//		newLanguage:	The name of the desired language (e.g., ENU, GER, ES)
//
function changeLanguage(newLanguage) {
	thisPath = document.location.pathname;
	endLanguage = thisPath.indexOf("/", 1);
	thisPage = document.location.pathname.substring(endLanguage);
	document.location = "/" + newLanguage + thisPage + document.location.search;
}